(set-info :smt-lib-version 2.6)
(set-logic QF_RDL)
(set-info :source |
SMT-PLAN_GP1 automated Planning to SMT-LIB encoding
by F.Maris and P.Regnier, IRIT - Universite Paul Sabatier, Toulouse
Benchmark encoded from planning problem
domain : domain-cooking, problem : cooking01

|)
(set-info :category "industrial")
(set-info :status sat)
(declare-fun t_Init () Real)
(declare-fun t_Goal () Real)
(declare-fun t_FIRE_KILN2_k21 () Real)
(declare-fun t_FIRE_KILN1_k11 () Real)
(declare-fun t_BAKE_CERAMIC3_p3_k12 () Real)
(declare-fun t_BAKE_CERAMIC3_p3_k22 () Real)
(declare-fun t_BAKE_CERAMIC2_p2_k12 () Real)
(declare-fun t_BAKE_CERAMIC2_p2_k22 () Real)
(declare-fun t_BAKE_CERAMIC1_p1_k12 () Real)
(declare-fun t_BAKE_CERAMIC1_p1_k22 () Real)
(declare-fun t_FIRE_KILN2_k22 () Real)
(declare-fun t_FIRE_KILN1_k12 () Real)
(declare-fun t_TREAT_CERAMIC2_p23 () Real)
(declare-fun t_TREAT_CERAMIC1_p13 () Real)
(declare-fun t_TREAT_CERAMIC1_p23 () Real)
(declare-fun t_BAKE_CERAMIC3_p3_k13 () Real)
(declare-fun t_BAKE_CERAMIC3_p3_k23 () Real)
(declare-fun t_BAKE_CERAMIC2_p2_k13 () Real)
(declare-fun t_BAKE_CERAMIC2_p2_k23 () Real)
(declare-fun t_BAKE_CERAMIC1_p1_k13 () Real)
(declare-fun t_BAKE_CERAMIC1_p1_k23 () Real)
(declare-fun t_FIRE_KILN2_k23 () Real)
(declare-fun t_FIRE_KILN1_k13 () Real)
(declare-fun t_MAKE_STRUCTURE_p1_p24 () Real)
(declare-fun t_BAKE_CERAMIC3_p3_k14 () Real)
(declare-fun t_BAKE_CERAMIC3_p3_k24 () Real)
(declare-fun t_FIRE_KILN2_k24 () Real)
(declare-fun t_FIRE_KILN1_k14 () Real)
(declare-fun t_BAKE_STRUCTURE_p1_p2_k15 () Real)
(declare-fun t_BAKE_STRUCTURE_p1_p2_k25 () Real)
(declare-fun t_BAKE_CERAMIC3_p3_k15 () Real)
(declare-fun t_BAKE_CERAMIC3_p3_k25 () Real)
(declare-fun Init () Bool)
(declare-fun Goal () Bool)
(declare-fun FIRE_KILN2_k21 () Bool)
(declare-fun FIRE_KILN1_k11 () Bool)
(declare-fun BAKE_CERAMIC3_p3_k12 () Bool)
(declare-fun BAKE_CERAMIC3_p3_k22 () Bool)
(declare-fun BAKE_CERAMIC2_p2_k12 () Bool)
(declare-fun BAKE_CERAMIC2_p2_k22 () Bool)
(declare-fun BAKE_CERAMIC1_p1_k12 () Bool)
(declare-fun BAKE_CERAMIC1_p1_k22 () Bool)
(declare-fun FIRE_KILN2_k22 () Bool)
(declare-fun FIRE_KILN1_k12 () Bool)
(declare-fun TREAT_CERAMIC2_p23 () Bool)
(declare-fun TREAT_CERAMIC1_p13 () Bool)
(declare-fun TREAT_CERAMIC1_p23 () Bool)
(declare-fun BAKE_CERAMIC3_p3_k13 () Bool)
(declare-fun BAKE_CERAMIC3_p3_k23 () Bool)
(declare-fun BAKE_CERAMIC2_p2_k13 () Bool)
(declare-fun BAKE_CERAMIC2_p2_k23 () Bool)
(declare-fun BAKE_CERAMIC1_p1_k13 () Bool)
(declare-fun BAKE_CERAMIC1_p1_k23 () Bool)
(declare-fun FIRE_KILN2_k23 () Bool)
(declare-fun FIRE_KILN1_k13 () Bool)
(declare-fun MAKE_STRUCTURE_p1_p24 () Bool)
(declare-fun BAKE_CERAMIC3_p3_k14 () Bool)
(declare-fun BAKE_CERAMIC3_p3_k24 () Bool)
(declare-fun FIRE_KILN2_k24 () Bool)
(declare-fun FIRE_KILN1_k14 () Bool)
(declare-fun BAKE_STRUCTURE_p1_p2_k15 () Bool)
(declare-fun BAKE_STRUCTURE_p1_p2_k25 () Bool)
(declare-fun BAKE_CERAMIC3_p3_k15 () Bool)
(declare-fun BAKE_CERAMIC3_p3_k25 () Bool)
(declare-fun Link_FIRE_KILN1_k11.ready_k1.BAKE_CERAMIC3_p3_k12 () Bool)
(declare-fun Link_FIRE_KILN2_k21.ready_k2.BAKE_CERAMIC3_p3_k22 () Bool)
(declare-fun Link_FIRE_KILN1_k11.ready_k1.BAKE_CERAMIC2_p2_k12 () Bool)
(declare-fun Link_FIRE_KILN2_k21.ready_k2.BAKE_CERAMIC2_p2_k22 () Bool)
(declare-fun Link_FIRE_KILN1_k11.ready_k1.BAKE_CERAMIC1_p1_k12 () Bool)
(declare-fun Link_FIRE_KILN2_k21.ready_k2.BAKE_CERAMIC1_p1_k22 () Bool)
(declare-fun Link_BAKE_CERAMIC2_p2_k22.baking_p2.TREAT_CERAMIC2_p23 () Bool)
(declare-fun Link_BAKE_CERAMIC2_p2_k12.baking_p2.TREAT_CERAMIC2_p23 () Bool)
(declare-fun Link_BAKE_CERAMIC1_p1_k22.baking_p1.TREAT_CERAMIC1_p13 () Bool)
(declare-fun Link_BAKE_CERAMIC1_p1_k12.baking_p1.TREAT_CERAMIC1_p13 () Bool)
(declare-fun Link_BAKE_CERAMIC2_p2_k22.baking_p2.TREAT_CERAMIC1_p23 () Bool)
(declare-fun Link_BAKE_CERAMIC2_p2_k12.baking_p2.TREAT_CERAMIC1_p23 () Bool)
(declare-fun Link_FIRE_KILN1_k11.ready_k1.BAKE_CERAMIC3_p3_k13 () Bool)
(declare-fun Link_FIRE_KILN1_k12.ready_k1.BAKE_CERAMIC3_p3_k13 () Bool)
(declare-fun Link_FIRE_KILN2_k21.ready_k2.BAKE_CERAMIC3_p3_k23 () Bool)
(declare-fun Link_FIRE_KILN2_k22.ready_k2.BAKE_CERAMIC3_p3_k23 () Bool)
(declare-fun Link_FIRE_KILN1_k11.ready_k1.BAKE_CERAMIC2_p2_k13 () Bool)
(declare-fun Link_FIRE_KILN1_k12.ready_k1.BAKE_CERAMIC2_p2_k13 () Bool)
(declare-fun Link_FIRE_KILN2_k21.ready_k2.BAKE_CERAMIC2_p2_k23 () Bool)
(declare-fun Link_FIRE_KILN2_k22.ready_k2.BAKE_CERAMIC2_p2_k23 () Bool)
(declare-fun Link_FIRE_KILN1_k11.ready_k1.BAKE_CERAMIC1_p1_k13 () Bool)
(declare-fun Link_FIRE_KILN1_k12.ready_k1.BAKE_CERAMIC1_p1_k13 () Bool)
(declare-fun Link_FIRE_KILN2_k21.ready_k2.BAKE_CERAMIC1_p1_k23 () Bool)
(declare-fun Link_FIRE_KILN2_k22.ready_k2.BAKE_CERAMIC1_p1_k23 () Bool)
(declare-fun Link_TREAT_CERAMIC1_p23.treated_p2.MAKE_STRUCTURE_p1_p24 () Bool)
(declare-fun Link_TREAT_CERAMIC2_p23.treated_p2.MAKE_STRUCTURE_p1_p24 () Bool)
(declare-fun Link_BAKE_CERAMIC2_p2_k22.baked_p2.MAKE_STRUCTURE_p1_p24 () Bool)
(declare-fun Link_BAKE_CERAMIC2_p2_k23.baked_p2.MAKE_STRUCTURE_p1_p24 () Bool)
(declare-fun Link_BAKE_CERAMIC2_p2_k12.baked_p2.MAKE_STRUCTURE_p1_p24 () Bool)
(declare-fun Link_BAKE_CERAMIC2_p2_k13.baked_p2.MAKE_STRUCTURE_p1_p24 () Bool)
(declare-fun Link_TREAT_CERAMIC1_p13.treated_p1.MAKE_STRUCTURE_p1_p24 () Bool)
(declare-fun Link_BAKE_CERAMIC1_p1_k22.baked_p1.MAKE_STRUCTURE_p1_p24 () Bool)
(declare-fun Link_BAKE_CERAMIC1_p1_k23.baked_p1.MAKE_STRUCTURE_p1_p24 () Bool)
(declare-fun Link_BAKE_CERAMIC1_p1_k12.baked_p1.MAKE_STRUCTURE_p1_p24 () Bool)
(declare-fun Link_BAKE_CERAMIC1_p1_k13.baked_p1.MAKE_STRUCTURE_p1_p24 () Bool)
(declare-fun Link_FIRE_KILN1_k11.ready_k1.BAKE_CERAMIC3_p3_k14 () Bool)
(declare-fun Link_FIRE_KILN1_k12.ready_k1.BAKE_CERAMIC3_p3_k14 () Bool)
(declare-fun Link_FIRE_KILN1_k13.ready_k1.BAKE_CERAMIC3_p3_k14 () Bool)
(declare-fun Link_FIRE_KILN2_k21.ready_k2.BAKE_CERAMIC3_p3_k24 () Bool)
(declare-fun Link_FIRE_KILN2_k22.ready_k2.BAKE_CERAMIC3_p3_k24 () Bool)
(declare-fun Link_FIRE_KILN2_k23.ready_k2.BAKE_CERAMIC3_p3_k24 () Bool)
(declare-fun Link_MAKE_STRUCTURE_p1_p24.structured_p1_p2.BAKE_STRUCTURE_p1_p2_k15 () Bool)
(declare-fun Link_FIRE_KILN1_k11.ready_k1.BAKE_STRUCTURE_p1_p2_k15 () Bool)
(declare-fun Link_FIRE_KILN1_k12.ready_k1.BAKE_STRUCTURE_p1_p2_k15 () Bool)
(declare-fun Link_FIRE_KILN1_k13.ready_k1.BAKE_STRUCTURE_p1_p2_k15 () Bool)
(declare-fun Link_FIRE_KILN1_k14.ready_k1.BAKE_STRUCTURE_p1_p2_k15 () Bool)
(declare-fun Link_MAKE_STRUCTURE_p1_p24.structured_p1_p2.BAKE_STRUCTURE_p1_p2_k25 () Bool)
(declare-fun Link_FIRE_KILN2_k21.ready_k2.BAKE_STRUCTURE_p1_p2_k25 () Bool)
(declare-fun Link_FIRE_KILN2_k22.ready_k2.BAKE_STRUCTURE_p1_p2_k25 () Bool)
(declare-fun Link_FIRE_KILN2_k23.ready_k2.BAKE_STRUCTURE_p1_p2_k25 () Bool)
(declare-fun Link_FIRE_KILN2_k24.ready_k2.BAKE_STRUCTURE_p1_p2_k25 () Bool)
(declare-fun Link_FIRE_KILN1_k11.ready_k1.BAKE_CERAMIC3_p3_k15 () Bool)
(declare-fun Link_FIRE_KILN1_k12.ready_k1.BAKE_CERAMIC3_p3_k15 () Bool)
(declare-fun Link_FIRE_KILN1_k13.ready_k1.BAKE_CERAMIC3_p3_k15 () Bool)
(declare-fun Link_FIRE_KILN1_k14.ready_k1.BAKE_CERAMIC3_p3_k15 () Bool)
(declare-fun Link_FIRE_KILN2_k21.ready_k2.BAKE_CERAMIC3_p3_k25 () Bool)
(declare-fun Link_FIRE_KILN2_k22.ready_k2.BAKE_CERAMIC3_p3_k25 () Bool)
(declare-fun Link_FIRE_KILN2_k23.ready_k2.BAKE_CERAMIC3_p3_k25 () Bool)
(declare-fun Link_FIRE_KILN2_k24.ready_k2.BAKE_CERAMIC3_p3_k25 () Bool)
(declare-fun Link_BAKE_STRUCTURE_p1_p2_k25.baked_structure_p1_p2.Goal () Bool)
(declare-fun Link_BAKE_STRUCTURE_p1_p2_k15.baked_structure_p1_p2.Goal () Bool)
(declare-fun Link_BAKE_CERAMIC3_p3_k22.baked_p3.Goal () Bool)
(declare-fun Link_BAKE_CERAMIC3_p3_k23.baked_p3.Goal () Bool)
(declare-fun Link_BAKE_CERAMIC3_p3_k24.baked_p3.Goal () Bool)
(declare-fun Link_BAKE_CERAMIC3_p3_k25.baked_p3.Goal () Bool)
(declare-fun Link_BAKE_CERAMIC3_p3_k12.baked_p3.Goal () Bool)
(declare-fun Link_BAKE_CERAMIC3_p3_k13.baked_p3.Goal () Bool)
(declare-fun Link_BAKE_CERAMIC3_p3_k14.baked_p3.Goal () Bool)
(declare-fun Link_BAKE_CERAMIC3_p3_k15.baked_p3.Goal () Bool)
(assert (let ((?v_265 (not BAKE_CERAMIC3_p3_k12)) (?v_257 (not BAKE_CERAMIC3_p3_k22)) (?v_96 (not BAKE_CERAMIC2_p2_k12)) (?v_93 (not BAKE_CERAMIC2_p2_k22)) (?v_106 (not BAKE_CERAMIC1_p1_k12)) (?v_103 (not BAKE_CERAMIC1_p1_k22)) (?v_533 (not TREAT_CERAMIC2_p23)) (?v_534 (not TREAT_CERAMIC1_p13)) (?v_535 (not TREAT_CERAMIC1_p23)) (?v_267 (not BAKE_CERAMIC3_p3_k13)) (?v_259 (not BAKE_CERAMIC3_p3_k23)) (?v_98 (not BAKE_CERAMIC2_p2_k13)) (?v_95 (not BAKE_CERAMIC2_p2_k23)) (?v_108 (not BAKE_CERAMIC1_p1_k13)) (?v_105 (not BAKE_CERAMIC1_p1_k23)) (?v_0 (not MAKE_STRUCTURE_p1_p24)) (?v_269 (not BAKE_CERAMIC3_p3_k14)) (?v_261 (not BAKE_CERAMIC3_p3_k24)) (?v_1 (not BAKE_STRUCTURE_p1_p2_k15)) (?v_2 (not BAKE_STRUCTURE_p1_p2_k25)) (?v_271 (not BAKE_CERAMIC3_p3_k15)) (?v_263 (not BAKE_CERAMIC3_p3_k25)) (?v_3 (not Goal)) (?v_4 (not Link_FIRE_KILN1_k11.ready_k1.BAKE_CERAMIC3_p3_k12)) (?v_73 (- t_BAKE_CERAMIC3_p3_k12 t_FIRE_KILN1_k11)) (?v_5 (not Link_FIRE_KILN2_k21.ready_k2.BAKE_CERAMIC3_p3_k22)) (?v_74 (- t_BAKE_CERAMIC3_p3_k22 t_FIRE_KILN2_k21)) (?v_6 (not Link_FIRE_KILN1_k11.ready_k1.BAKE_CERAMIC2_p2_k12)) (?v_7 (not Link_FIRE_KILN2_k21.ready_k2.BAKE_CERAMIC2_p2_k22)) (?v_85 (- t_BAKE_CERAMIC2_p2_k22 t_FIRE_KILN2_k21)) (?v_8 (not Link_FIRE_KILN1_k11.ready_k1.BAKE_CERAMIC1_p1_k12)) (?v_9 (not Link_FIRE_KILN2_k21.ready_k2.BAKE_CERAMIC1_p1_k22)) (?v_92 (- t_BAKE_CERAMIC1_p1_k22 t_FIRE_KILN2_k21)) (?v_10 (not Link_BAKE_CERAMIC2_p2_k22.baking_p2.TREAT_CERAMIC2_p23)) (?v_94 (- t_TREAT_CERAMIC2_p23 t_BAKE_CERAMIC2_p2_k22)) (?v_11 (not Link_BAKE_CERAMIC2_p2_k12.baking_p2.TREAT_CERAMIC2_p23)) (?v_97 (- t_TREAT_CERAMIC2_p23 t_BAKE_CERAMIC2_p2_k12)) (?v_12 (not Link_BAKE_CERAMIC1_p1_k22.baking_p1.TREAT_CERAMIC1_p13)) (?v_104 (- t_TREAT_CERAMIC1_p13 t_BAKE_CERAMIC1_p1_k22)) (?v_13 (not Link_BAKE_CERAMIC1_p1_k12.baking_p1.TREAT_CERAMIC1_p13)) (?v_107 (- t_TREAT_CERAMIC1_p13 t_BAKE_CERAMIC1_p1_k12)) (?v_14 (not Link_BAKE_CERAMIC2_p2_k22.baking_p2.TREAT_CERAMIC1_p23)) (?v_114 (- t_TREAT_CERAMIC1_p23 t_BAKE_CERAMIC2_p2_k22)) (?v_15 (not Link_BAKE_CERAMIC2_p2_k12.baking_p2.TREAT_CERAMIC1_p23)) (?v_117 (- t_TREAT_CERAMIC1_p23 t_BAKE_CERAMIC2_p2_k12)) (?v_16 (not Link_FIRE_KILN1_k11.ready_k1.BAKE_CERAMIC3_p3_k13)) (?v_127 (- t_BAKE_CERAMIC3_p3_k13 t_FIRE_KILN1_k11)) (?v_17 (not Link_FIRE_KILN1_k12.ready_k1.BAKE_CERAMIC3_p3_k13)) (?v_128 (- t_BAKE_CERAMIC3_p3_k13 t_FIRE_KILN1_k12)) (?v_18 (not Link_FIRE_KILN2_k21.ready_k2.BAKE_CERAMIC3_p3_k23)) (?v_133 (- t_BAKE_CERAMIC3_p3_k23 t_FIRE_KILN2_k21)) (?v_19 (not Link_FIRE_KILN2_k22.ready_k2.BAKE_CERAMIC3_p3_k23)) (?v_134 (- t_BAKE_CERAMIC3_p3_k23 t_FIRE_KILN2_k22)) (?v_20 (not Link_FIRE_KILN1_k11.ready_k1.BAKE_CERAMIC2_p2_k13)) (?v_21 (not Link_FIRE_KILN1_k12.ready_k1.BAKE_CERAMIC2_p2_k13)) (?v_22 (not Link_FIRE_KILN2_k21.ready_k2.BAKE_CERAMIC2_p2_k23)) (?v_147 (- t_BAKE_CERAMIC2_p2_k23 t_FIRE_KILN2_k21)) (?v_23 (not Link_FIRE_KILN2_k22.ready_k2.BAKE_CERAMIC2_p2_k23)) (?v_148 (- t_BAKE_CERAMIC2_p2_k23 t_FIRE_KILN2_k22)) (?v_24 (not Link_FIRE_KILN1_k11.ready_k1.BAKE_CERAMIC1_p1_k13)) (?v_25 (not Link_FIRE_KILN1_k12.ready_k1.BAKE_CERAMIC1_p1_k13)) (?v_26 (not Link_FIRE_KILN2_k21.ready_k2.BAKE_CERAMIC1_p1_k23)) (?v_161 (- t_BAKE_CERAMIC1_p1_k23 t_FIRE_KILN2_k21)) (?v_27 (not Link_FIRE_KILN2_k22.ready_k2.BAKE_CERAMIC1_p1_k23)) (?v_162 (- t_BAKE_CERAMIC1_p1_k23 t_FIRE_KILN2_k22)) (?v_28 (not Link_TREAT_CERAMIC1_p23.treated_p2.MAKE_STRUCTURE_p1_p24)) (?v_29 (not Link_TREAT_CERAMIC2_p23.treated_p2.MAKE_STRUCTURE_p1_p24)) (?v_30 (not Link_BAKE_CERAMIC2_p2_k22.baked_p2.MAKE_STRUCTURE_p1_p24)) (?v_31 (not Link_BAKE_CERAMIC2_p2_k23.baked_p2.MAKE_STRUCTURE_p1_p24)) (?v_32 (not Link_BAKE_CERAMIC2_p2_k12.baked_p2.MAKE_STRUCTURE_p1_p24)) (?v_33 (not Link_BAKE_CERAMIC2_p2_k13.baked_p2.MAKE_STRUCTURE_p1_p24)) (?v_34 (not Link_TREAT_CERAMIC1_p13.treated_p1.MAKE_STRUCTURE_p1_p24)) (?v_35 (not Link_BAKE_CERAMIC1_p1_k22.baked_p1.MAKE_STRUCTURE_p1_p24)) (?v_36 (not Link_BAKE_CERAMIC1_p1_k23.baked_p1.MAKE_STRUCTURE_p1_p24)) (?v_37 (not Link_BAKE_CERAMIC1_p1_k12.baked_p1.MAKE_STRUCTURE_p1_p24)) (?v_38 (not Link_BAKE_CERAMIC1_p1_k13.baked_p1.MAKE_STRUCTURE_p1_p24)) (?v_39 (not Link_FIRE_KILN1_k11.ready_k1.BAKE_CERAMIC3_p3_k14)) (?v_191 (- t_BAKE_CERAMIC3_p3_k14 t_FIRE_KILN1_k11)) (?v_40 (not Link_FIRE_KILN1_k12.ready_k1.BAKE_CERAMIC3_p3_k14)) (?v_192 (- t_BAKE_CERAMIC3_p3_k14 t_FIRE_KILN1_k12)) (?v_41 (not Link_FIRE_KILN1_k13.ready_k1.BAKE_CERAMIC3_p3_k14)) (?v_193 (- t_BAKE_CERAMIC3_p3_k14 t_FIRE_KILN1_k13)) (?v_42 (not Link_FIRE_KILN2_k21.ready_k2.BAKE_CERAMIC3_p3_k24)) (?v_198 (- t_BAKE_CERAMIC3_p3_k24 t_FIRE_KILN2_k21)) (?v_43 (not Link_FIRE_KILN2_k22.ready_k2.BAKE_CERAMIC3_p3_k24)) (?v_199 (- t_BAKE_CERAMIC3_p3_k24 t_FIRE_KILN2_k22)) (?v_44 (not Link_FIRE_KILN2_k23.ready_k2.BAKE_CERAMIC3_p3_k24)) (?v_200 (- t_BAKE_CERAMIC3_p3_k24 t_FIRE_KILN2_k23)) (?v_45 (not Link_MAKE_STRUCTURE_p1_p24.structured_p1_p2.BAKE_STRUCTURE_p1_p2_k15)) (?v_46 (not Link_FIRE_KILN1_k11.ready_k1.BAKE_STRUCTURE_p1_p2_k15)) (?v_205 (- t_BAKE_STRUCTURE_p1_p2_k15 t_FIRE_KILN1_k11)) (?v_47 (not Link_FIRE_KILN1_k12.ready_k1.BAKE_STRUCTURE_p1_p2_k15)) (?v_206 (- t_BAKE_STRUCTURE_p1_p2_k15 t_FIRE_KILN1_k12)) (?v_48 (not Link_FIRE_KILN1_k13.ready_k1.BAKE_STRUCTURE_p1_p2_k15)) (?v_207 (- t_BAKE_STRUCTURE_p1_p2_k15 t_FIRE_KILN1_k13)) (?v_49 (not Link_FIRE_KILN1_k14.ready_k1.BAKE_STRUCTURE_p1_p2_k15)) (?v_208 (- t_BAKE_STRUCTURE_p1_p2_k15 t_FIRE_KILN1_k14)) (?v_50 (not Link_MAKE_STRUCTURE_p1_p24.structured_p1_p2.BAKE_STRUCTURE_p1_p2_k25)) (?v_51 (not Link_FIRE_KILN2_k21.ready_k2.BAKE_STRUCTURE_p1_p2_k25)) (?v_217 (- t_BAKE_STRUCTURE_p1_p2_k25 t_FIRE_KILN2_k21)) (?v_52 (not Link_FIRE_KILN2_k22.ready_k2.BAKE_STRUCTURE_p1_p2_k25)) (?v_218 (- t_BAKE_STRUCTURE_p1_p2_k25 t_FIRE_KILN2_k22)) (?v_53 (not Link_FIRE_KILN2_k23.ready_k2.BAKE_STRUCTURE_p1_p2_k25)) (?v_219 (- t_BAKE_STRUCTURE_p1_p2_k25 t_FIRE_KILN2_k23)) (?v_54 (not Link_FIRE_KILN2_k24.ready_k2.BAKE_STRUCTURE_p1_p2_k25)) (?v_220 (- t_BAKE_STRUCTURE_p1_p2_k25 t_FIRE_KILN2_k24)) (?v_55 (not Link_FIRE_KILN1_k11.ready_k1.BAKE_CERAMIC3_p3_k15)) (?v_229 (- t_BAKE_CERAMIC3_p3_k15 t_FIRE_KILN1_k11)) (?v_56 (not Link_FIRE_KILN1_k12.ready_k1.BAKE_CERAMIC3_p3_k15)) (?v_230 (- t_BAKE_CERAMIC3_p3_k15 t_FIRE_KILN1_k12)) (?v_57 (not Link_FIRE_KILN1_k13.ready_k1.BAKE_CERAMIC3_p3_k15)) (?v_231 (- t_BAKE_CERAMIC3_p3_k15 t_FIRE_KILN1_k13)) (?v_58 (not Link_FIRE_KILN1_k14.ready_k1.BAKE_CERAMIC3_p3_k15)) (?v_232 (- t_BAKE_CERAMIC3_p3_k15 t_FIRE_KILN1_k14)) (?v_59 (not Link_FIRE_KILN2_k21.ready_k2.BAKE_CERAMIC3_p3_k25)) (?v_241 (- t_BAKE_CERAMIC3_p3_k25 t_FIRE_KILN2_k21)) (?v_60 (not Link_FIRE_KILN2_k22.ready_k2.BAKE_CERAMIC3_p3_k25)) (?v_242 (- t_BAKE_CERAMIC3_p3_k25 t_FIRE_KILN2_k22)) (?v_61 (not Link_FIRE_KILN2_k23.ready_k2.BAKE_CERAMIC3_p3_k25)) (?v_243 (- t_BAKE_CERAMIC3_p3_k25 t_FIRE_KILN2_k23)) (?v_62 (not Link_FIRE_KILN2_k24.ready_k2.BAKE_CERAMIC3_p3_k25)) (?v_244 (- t_BAKE_CERAMIC3_p3_k25 t_FIRE_KILN2_k24)) (?v_63 (not Link_BAKE_STRUCTURE_p1_p2_k25.baked_structure_p1_p2.Goal)) (?v_253 (- t_Goal t_BAKE_STRUCTURE_p1_p2_k25))) (let ((?v_541 (>= ?v_253 3)) (?v_64 (not Link_BAKE_STRUCTURE_p1_p2_k15.baked_structure_p1_p2.Goal)) (?v_254 (- t_Goal t_BAKE_STRUCTURE_p1_p2_k15))) (let ((?v_540 (>= ?v_254 3)) (?v_65 (not Link_BAKE_CERAMIC3_p3_k22.baked_p3.Goal)) (?v_258 (- t_Goal t_BAKE_CERAMIC3_p3_k22))) (let ((?v_532 (>= ?v_258 5)) (?v_66 (not Link_BAKE_CERAMIC3_p3_k23.baked_p3.Goal)) (?v_260 (- t_Goal t_BAKE_CERAMIC3_p3_k23))) (let ((?v_537 (>= ?v_260 5)) (?v_67 (not Link_BAKE_CERAMIC3_p3_k24.baked_p3.Goal)) (?v_262 (- t_Goal t_BAKE_CERAMIC3_p3_k24))) (let ((?v_539 (>= ?v_262 5)) (?v_68 (not Link_BAKE_CERAMIC3_p3_k25.baked_p3.Goal)) (?v_264 (- t_Goal t_BAKE_CERAMIC3_p3_k25))) (let ((?v_543 (>= ?v_264 5)) (?v_69 (not Link_BAKE_CERAMIC3_p3_k12.baked_p3.Goal)) (?v_266 (- t_Goal t_BAKE_CERAMIC3_p3_k12))) (let ((?v_531 (>= ?v_266 5)) (?v_70 (not Link_BAKE_CERAMIC3_p3_k13.baked_p3.Goal)) (?v_268 (- t_Goal t_BAKE_CERAMIC3_p3_k13))) (let ((?v_536 (>= ?v_268 5)) (?v_71 (not Link_BAKE_CERAMIC3_p3_k14.baked_p3.Goal)) (?v_270 (- t_Goal t_BAKE_CERAMIC3_p3_k14))) (let ((?v_538 (>= ?v_270 5)) (?v_72 (not Link_BAKE_CERAMIC3_p3_k15.baked_p3.Goal)) (?v_272 (- t_Goal t_BAKE_CERAMIC3_p3_k15))) (let ((?v_542 (>= ?v_272 5)) (?v_75 (not FIRE_KILN1_k11)) (?v_76 (> (- t_FIRE_KILN1_k11 t_FIRE_KILN1_k11) 8)) (?v_77 (not FIRE_KILN1_k12)) (?v_479 (- t_FIRE_KILN1_k11 t_FIRE_KILN1_k12))) (let ((?v_78 (> ?v_479 8)) (?v_79 (not FIRE_KILN1_k13)) (?v_480 (- t_FIRE_KILN1_k11 t_FIRE_KILN1_k13))) (let ((?v_80 (> ?v_480 8)) (?v_81 (not FIRE_KILN1_k14)) (?v_481 (- t_FIRE_KILN1_k11 t_FIRE_KILN1_k14))) (let ((?v_82 (> ?v_481 8)) (?v_83 (not FIRE_KILN2_k21)) (?v_84 (> (- t_FIRE_KILN2_k21 t_FIRE_KILN2_k21) 20)) (?v_86 (not FIRE_KILN2_k22)) (?v_519 (- t_FIRE_KILN2_k21 t_FIRE_KILN2_k22))) (let ((?v_87 (> ?v_519 20)) (?v_88 (not FIRE_KILN2_k23)) (?v_520 (- t_FIRE_KILN2_k21 t_FIRE_KILN2_k23))) (let ((?v_89 (> ?v_520 20)) (?v_90 (not FIRE_KILN2_k24)) (?v_521 (- t_FIRE_KILN2_k21 t_FIRE_KILN2_k24))) (let ((?v_91 (> ?v_521 20)) (?v_167 (- t_BAKE_CERAMIC2_p2_k22 t_BAKE_CERAMIC2_p2_k22))) (let ((?v_113 (> ?v_167 10)) (?v_99 (< ?v_94 8)) (?v_169 (- t_BAKE_CERAMIC2_p2_k22 t_BAKE_CERAMIC2_p2_k23))) (let ((?v_115 (> ?v_169 10)) (?v_100 (< (- t_TREAT_CERAMIC2_p23 t_BAKE_CERAMIC2_p2_k23) 8)) (?v_175 (- t_BAKE_CERAMIC2_p2_k22 t_BAKE_CERAMIC2_p2_k12))) (let ((?v_116 (> ?v_175 10)) (?v_101 (< ?v_97 8)) (?v_177 (- t_BAKE_CERAMIC2_p2_k22 t_BAKE_CERAMIC2_p2_k13))) (let ((?v_118 (> ?v_177 10)) (?v_102 (< (- t_TREAT_CERAMIC2_p23 t_BAKE_CERAMIC2_p2_k13) 8)) (?v_168 (- t_BAKE_CERAMIC2_p2_k12 t_BAKE_CERAMIC2_p2_k22))) (let ((?v_119 (> ?v_168 10)) (?v_172 (- t_BAKE_CERAMIC2_p2_k12 t_BAKE_CERAMIC2_p2_k23))) (let ((?v_121 (> ?v_172 10)) (?v_176 (- t_BAKE_CERAMIC2_p2_k12 t_BAKE_CERAMIC2_p2_k12))) (let ((?v_123 (> ?v_176 10)) (?v_178 (- t_BAKE_CERAMIC2_p2_k12 t_BAKE_CERAMIC2_p2_k13))) (let ((?v_125 (> ?v_178 10)) (?v_179 (- t_BAKE_CERAMIC1_p1_k22 t_BAKE_CERAMIC1_p1_k22)) (?v_109 (< ?v_104 12)) (?v_181 (- t_BAKE_CERAMIC1_p1_k22 t_BAKE_CERAMIC1_p1_k23))) (let ((?v_451 (> ?v_181 15)) (?v_110 (< (- t_TREAT_CERAMIC1_p13 t_BAKE_CERAMIC1_p1_k23) 12)) (?v_187 (- t_BAKE_CERAMIC1_p1_k22 t_BAKE_CERAMIC1_p1_k12))) (let ((?v_449 (> ?v_187 15)) (?v_111 (< ?v_107 12)) (?v_189 (- t_BAKE_CERAMIC1_p1_k22 t_BAKE_CERAMIC1_p1_k13))) (let ((?v_453 (> ?v_189 15)) (?v_112 (< (- t_TREAT_CERAMIC1_p13 t_BAKE_CERAMIC1_p1_k13) 12)) (?v_180 (- t_BAKE_CERAMIC1_p1_k12 t_BAKE_CERAMIC1_p1_k22))) (let ((?v_455 (> ?v_180 15)) (?v_184 (- t_BAKE_CERAMIC1_p1_k12 t_BAKE_CERAMIC1_p1_k23))) (let ((?v_457 (> ?v_184 15)) (?v_188 (- t_BAKE_CERAMIC1_p1_k12 t_BAKE_CERAMIC1_p1_k12)) (?v_190 (- t_BAKE_CERAMIC1_p1_k12 t_BAKE_CERAMIC1_p1_k13))) (let ((?v_459 (> ?v_190 15)) (?v_120 (< ?v_114 7)) (?v_122 (< (- t_TREAT_CERAMIC1_p23 t_BAKE_CERAMIC2_p2_k23) 7)) (?v_124 (< ?v_117 7)) (?v_126 (< (- t_TREAT_CERAMIC1_p23 t_BAKE_CERAMIC2_p2_k13) 7)) (?v_129 (< ?v_127 3)) (?v_130 (< ?v_128 3)) (?v_131 (< (- t_BAKE_CERAMIC3_p3_k13 t_FIRE_KILN1_k13) 3)) (?v_132 (< (- t_BAKE_CERAMIC3_p3_k13 t_FIRE_KILN1_k14) 3)) (?v_482 (- t_FIRE_KILN1_k12 t_FIRE_KILN1_k11))) (let ((?v_139 (> ?v_482 8)) (?v_141 (> (- t_FIRE_KILN1_k12 t_FIRE_KILN1_k12) 8)) (?v_483 (- t_FIRE_KILN1_k12 t_FIRE_KILN1_k13))) (let ((?v_143 (> ?v_483 8)) (?v_484 (- t_FIRE_KILN1_k12 t_FIRE_KILN1_k14))) (let ((?v_145 (> ?v_484 8)) (?v_135 (< ?v_133 15)) (?v_136 (< ?v_134 15)) (?v_137 (< (- t_BAKE_CERAMIC3_p3_k23 t_FIRE_KILN2_k23) 15)) (?v_138 (< (- t_BAKE_CERAMIC3_p3_k23 t_FIRE_KILN2_k24) 15)) (?v_522 (- t_FIRE_KILN2_k22 t_FIRE_KILN2_k21))) (let ((?v_149 (> ?v_522 20)) (?v_151 (> (- t_FIRE_KILN2_k22 t_FIRE_KILN2_k22) 20)) (?v_523 (- t_FIRE_KILN2_k22 t_FIRE_KILN2_k23))) (let ((?v_153 (> ?v_523 20)) (?v_524 (- t_FIRE_KILN2_k22 t_FIRE_KILN2_k24))) (let ((?v_155 (> ?v_524 20)) (?v_140 (> (- t_FIRE_KILN1_k11 t_BAKE_CERAMIC2_p2_k13) 2)) (?v_142 (> (- t_FIRE_KILN1_k12 t_BAKE_CERAMIC2_p2_k13) 2)) (?v_144 (> (- t_FIRE_KILN1_k13 t_BAKE_CERAMIC2_p2_k13) 2)) (?v_146 (> (- t_FIRE_KILN1_k14 t_BAKE_CERAMIC2_p2_k13) 2)) (?v_150 (< ?v_147 10)) (?v_152 (< ?v_148 10)) (?v_154 (< (- t_BAKE_CERAMIC2_p2_k23 t_FIRE_KILN2_k23) 10)) (?v_156 (< (- t_BAKE_CERAMIC2_p2_k23 t_FIRE_KILN2_k24) 10)) (?v_157 (> (- t_FIRE_KILN1_k11 t_BAKE_CERAMIC1_p1_k13) 7)) (?v_158 (> (- t_FIRE_KILN1_k12 t_BAKE_CERAMIC1_p1_k13) 7)) (?v_159 (> (- t_FIRE_KILN1_k13 t_BAKE_CERAMIC1_p1_k13) 7)) (?v_160 (> (- t_FIRE_KILN1_k14 t_BAKE_CERAMIC1_p1_k13) 7)) (?v_163 (< ?v_161 5)) (?v_164 (< ?v_162 5)) (?v_165 (< (- t_BAKE_CERAMIC1_p1_k23 t_FIRE_KILN2_k23) 5)) (?v_166 (< (- t_BAKE_CERAMIC1_p1_k23 t_FIRE_KILN2_k24) 5)) (?v_170 (> (- t_BAKE_CERAMIC2_p2_k22 t_MAKE_STRUCTURE_p1_p24) 1)) (?v_501 (- t_BAKE_CERAMIC2_p2_k23 t_BAKE_CERAMIC2_p2_k22))) (let ((?v_502 (< ?v_501 10)) (?v_171 (> (- t_BAKE_CERAMIC2_p2_k23 t_MAKE_STRUCTURE_p1_p24) 1)) (?v_498 (< ?v_168 10)) (?v_173 (> (- t_BAKE_CERAMIC2_p2_k12 t_MAKE_STRUCTURE_p1_p24) 1)) (?v_507 (- t_BAKE_CERAMIC2_p2_k13 t_BAKE_CERAMIC2_p2_k22))) (let ((?v_508 (< ?v_507 10)) (?v_174 (> (- t_BAKE_CERAMIC2_p2_k13 t_MAKE_STRUCTURE_p1_p24) 1)) (?v_496 (< ?v_169 10)) (?v_499 (< ?v_172 10)) (?v_511 (- t_BAKE_CERAMIC2_p2_k13 t_BAKE_CERAMIC2_p2_k23))) (let ((?v_512 (< ?v_511 10)) (?v_495 (< ?v_175 10)) (?v_503 (- t_BAKE_CERAMIC2_p2_k23 t_BAKE_CERAMIC2_p2_k12))) (let ((?v_504 (< ?v_503 10)) (?v_509 (- t_BAKE_CERAMIC2_p2_k13 t_BAKE_CERAMIC2_p2_k12))) (let ((?v_510 (< ?v_509 10)) (?v_497 (< ?v_177 10)) (?v_505 (- t_BAKE_CERAMIC2_p2_k23 t_BAKE_CERAMIC2_p2_k13))) (let ((?v_506 (< ?v_505 10)) (?v_500 (< ?v_178 10)) (?v_182 (> (- t_BAKE_CERAMIC1_p1_k22 t_MAKE_STRUCTURE_p1_p24) 1)) (?v_461 (- t_BAKE_CERAMIC1_p1_k23 t_BAKE_CERAMIC1_p1_k22))) (let ((?v_462 (< ?v_461 15)) (?v_183 (> (- t_BAKE_CERAMIC1_p1_k23 t_MAKE_STRUCTURE_p1_p24) 1)) (?v_456 (< ?v_180 15)) (?v_185 (> (- t_BAKE_CERAMIC1_p1_k12 t_MAKE_STRUCTURE_p1_p24) 1)) (?v_467 (- t_BAKE_CERAMIC1_p1_k13 t_BAKE_CERAMIC1_p1_k22))) (let ((?v_468 (< ?v_467 15)) (?v_186 (> (- t_BAKE_CERAMIC1_p1_k13 t_MAKE_STRUCTURE_p1_p24) 1)) (?v_452 (< ?v_181 15)) (?v_458 (< ?v_184 15)) (?v_471 (- t_BAKE_CERAMIC1_p1_k13 t_BAKE_CERAMIC1_p1_k23))) (let ((?v_472 (< ?v_471 15)) (?v_450 (< ?v_187 15)) (?v_463 (- t_BAKE_CERAMIC1_p1_k23 t_BAKE_CERAMIC1_p1_k12))) (let ((?v_464 (< ?v_463 15)) (?v_469 (- t_BAKE_CERAMIC1_p1_k13 t_BAKE_CERAMIC1_p1_k12))) (let ((?v_470 (< ?v_469 15)) (?v_454 (< ?v_189 15)) (?v_465 (- t_BAKE_CERAMIC1_p1_k23 t_BAKE_CERAMIC1_p1_k13))) (let ((?v_466 (< ?v_465 15)) (?v_460 (< ?v_190 15)) (?v_194 (< ?v_191 3)) (?v_195 (< ?v_192 3)) (?v_196 (< ?v_193 3)) (?v_197 (< (- t_BAKE_CERAMIC3_p3_k14 t_FIRE_KILN1_k14) 3)) (?v_485 (- t_FIRE_KILN1_k13 t_FIRE_KILN1_k11))) (let ((?v_213 (> ?v_485 8)) (?v_486 (- t_FIRE_KILN1_k13 t_FIRE_KILN1_k12))) (let ((?v_214 (> ?v_486 8)) (?v_215 (> (- t_FIRE_KILN1_k13 t_FIRE_KILN1_k13) 8)) (?v_487 (- t_FIRE_KILN1_k13 t_FIRE_KILN1_k14))) (let ((?v_216 (> ?v_487 8)) (?v_201 (< ?v_198 15)) (?v_202 (< ?v_199 15)) (?v_203 (< ?v_200 15)) (?v_204 (< (- t_BAKE_CERAMIC3_p3_k24 t_FIRE_KILN2_k24) 15)) (?v_525 (- t_FIRE_KILN2_k23 t_FIRE_KILN2_k21))) (let ((?v_225 (> ?v_525 20)) (?v_526 (- t_FIRE_KILN2_k23 t_FIRE_KILN2_k22))) (let ((?v_226 (> ?v_526 20)) (?v_227 (> (- t_FIRE_KILN2_k23 t_FIRE_KILN2_k23) 20)) (?v_527 (- t_FIRE_KILN2_k23 t_FIRE_KILN2_k24))) (let ((?v_228 (> ?v_527 20)) (?v_209 (< ?v_205 5)) (?v_210 (< ?v_206 5)) (?v_211 (< ?v_207 5)) (?v_212 (< ?v_208 5)) (?v_488 (- t_FIRE_KILN1_k14 t_FIRE_KILN1_k11))) (let ((?v_237 (> ?v_488 8)) (?v_489 (- t_FIRE_KILN1_k14 t_FIRE_KILN1_k12))) (let ((?v_238 (> ?v_489 8)) (?v_490 (- t_FIRE_KILN1_k14 t_FIRE_KILN1_k13))) (let ((?v_239 (> ?v_490 8)) (?v_240 (> (- t_FIRE_KILN1_k14 t_FIRE_KILN1_k14) 8)) (?v_221 (< ?v_217 17)) (?v_222 (< ?v_218 17)) (?v_223 (< ?v_219 17)) (?v_224 (< ?v_220 17)) (?v_528 (- t_FIRE_KILN2_k24 t_FIRE_KILN2_k21))) (let ((?v_249 (> ?v_528 20)) (?v_529 (- t_FIRE_KILN2_k24 t_FIRE_KILN2_k22))) (let ((?v_250 (> ?v_529 20)) (?v_530 (- t_FIRE_KILN2_k24 t_FIRE_KILN2_k23))) (let ((?v_251 (> ?v_530 20)) (?v_252 (> (- t_FIRE_KILN2_k24 t_FIRE_KILN2_k24) 20)) (?v_233 (< ?v_229 3)) (?v_234 (< ?v_230 3)) (?v_235 (< ?v_231 3)) (?v_236 (< ?v_232 3)) (?v_245 (< ?v_241 15)) (?v_246 (< ?v_242 15)) (?v_247 (< ?v_243 15)) (?v_248 (< ?v_244 15)) (?v_255 (< ?v_253 0)) (?v_492 (- t_BAKE_STRUCTURE_p1_p2_k15 t_BAKE_STRUCTURE_p1_p2_k25))) (let ((?v_491 (< ?v_492 3)) (?v_256 (< ?v_254 0)) (?v_494 (- t_BAKE_STRUCTURE_p1_p2_k25 t_BAKE_STRUCTURE_p1_p2_k15))) (let ((?v_493 (< ?v_494 3)) (?v_273 (< ?v_258 0)) (?v_309 (- t_BAKE_CERAMIC3_p3_k23 t_BAKE_CERAMIC3_p3_k22))) (let ((?v_310 (< ?v_309 5)) (?v_274 (< ?v_260 0)) (?v_337 (- t_BAKE_CERAMIC3_p3_k24 t_BAKE_CERAMIC3_p3_k22))) (let ((?v_338 (< ?v_337 5)) (?v_275 (< ?v_262 0)) (?v_365 (- t_BAKE_CERAMIC3_p3_k25 t_BAKE_CERAMIC3_p3_k22))) (let ((?v_366 (< ?v_365 5)) (?v_276 (< ?v_264 0)) (?v_295 (- t_BAKE_CERAMIC3_p3_k12 t_BAKE_CERAMIC3_p3_k22))) (let ((?v_296 (< ?v_295 5)) (?v_277 (< ?v_266 0)) (?v_323 (- t_BAKE_CERAMIC3_p3_k13 t_BAKE_CERAMIC3_p3_k22))) (let ((?v_324 (< ?v_323 5)) (?v_278 (< ?v_268 0)) (?v_351 (- t_BAKE_CERAMIC3_p3_k14 t_BAKE_CERAMIC3_p3_k22))) (let ((?v_352 (< ?v_351 5)) (?v_279 (< ?v_270 0)) (?v_379 (- t_BAKE_CERAMIC3_p3_k15 t_BAKE_CERAMIC3_p3_k22))) (let ((?v_380 (< ?v_379 5)) (?v_280 (< ?v_272 0)) (?v_283 (- t_BAKE_CERAMIC3_p3_k22 t_BAKE_CERAMIC3_p3_k23))) (let ((?v_284 (< ?v_283 5)) (?v_341 (- t_BAKE_CERAMIC3_p3_k24 t_BAKE_CERAMIC3_p3_k23))) (let ((?v_342 (< ?v_341 5)) (?v_369 (- t_BAKE_CERAMIC3_p3_k25 t_BAKE_CERAMIC3_p3_k23))) (let ((?v_370 (< ?v_369 5)) (?v_297 (- t_BAKE_CERAMIC3_p3_k12 t_BAKE_CERAMIC3_p3_k23))) (let ((?v_298 (< ?v_297 5)) (?v_327 (- t_BAKE_CERAMIC3_p3_k13 t_BAKE_CERAMIC3_p3_k23))) (let ((?v_328 (< ?v_327 5)) (?v_355 (- t_BAKE_CERAMIC3_p3_k14 t_BAKE_CERAMIC3_p3_k23))) (let ((?v_356 (< ?v_355 5)) (?v_383 (- t_BAKE_CERAMIC3_p3_k15 t_BAKE_CERAMIC3_p3_k23))) (let ((?v_384 (< ?v_383 5)) (?v_287 (- t_BAKE_CERAMIC3_p3_k22 t_BAKE_CERAMIC3_p3_k24))) (let ((?v_288 (< ?v_287 5)) (?v_315 (- t_BAKE_CERAMIC3_p3_k23 t_BAKE_CERAMIC3_p3_k24))) (let ((?v_316 (< ?v_315 5)) (?v_373 (- t_BAKE_CERAMIC3_p3_k25 t_BAKE_CERAMIC3_p3_k24))) (let ((?v_374 (< ?v_373 5)) (?v_301 (- t_BAKE_CERAMIC3_p3_k12 t_BAKE_CERAMIC3_p3_k24))) (let ((?v_302 (< ?v_301 5)) (?v_329 (- t_BAKE_CERAMIC3_p3_k13 t_BAKE_CERAMIC3_p3_k24))) (let ((?v_330 (< ?v_329 5)) (?v_359 (- t_BAKE_CERAMIC3_p3_k14 t_BAKE_CERAMIC3_p3_k24))) (let ((?v_360 (< ?v_359 5)) (?v_387 (- t_BAKE_CERAMIC3_p3_k15 t_BAKE_CERAMIC3_p3_k24))) (let ((?v_388 (< ?v_387 5)) (?v_291 (- t_BAKE_CERAMIC3_p3_k22 t_BAKE_CERAMIC3_p3_k25))) (let ((?v_292 (< ?v_291 5)) (?v_319 (- t_BAKE_CERAMIC3_p3_k23 t_BAKE_CERAMIC3_p3_k25))) (let ((?v_320 (< ?v_319 5)) (?v_347 (- t_BAKE_CERAMIC3_p3_k24 t_BAKE_CERAMIC3_p3_k25))) (let ((?v_348 (< ?v_347 5)) (?v_305 (- t_BAKE_CERAMIC3_p3_k12 t_BAKE_CERAMIC3_p3_k25))) (let ((?v_306 (< ?v_305 5)) (?v_333 (- t_BAKE_CERAMIC3_p3_k13 t_BAKE_CERAMIC3_p3_k25))) (let ((?v_334 (< ?v_333 5)) (?v_361 (- t_BAKE_CERAMIC3_p3_k14 t_BAKE_CERAMIC3_p3_k25))) (let ((?v_362 (< ?v_361 5)) (?v_391 (- t_BAKE_CERAMIC3_p3_k15 t_BAKE_CERAMIC3_p3_k25))) (let ((?v_392 (< ?v_391 5)) (?v_281 (- t_BAKE_CERAMIC3_p3_k22 t_BAKE_CERAMIC3_p3_k12))) (let ((?v_282 (< ?v_281 5)) (?v_311 (- t_BAKE_CERAMIC3_p3_k23 t_BAKE_CERAMIC3_p3_k12))) (let ((?v_312 (< ?v_311 5)) (?v_339 (- t_BAKE_CERAMIC3_p3_k24 t_BAKE_CERAMIC3_p3_k12))) (let ((?v_340 (< ?v_339 5)) (?v_367 (- t_BAKE_CERAMIC3_p3_k25 t_BAKE_CERAMIC3_p3_k12))) (let ((?v_368 (< ?v_367 5)) (?v_325 (- t_BAKE_CERAMIC3_p3_k13 t_BAKE_CERAMIC3_p3_k12))) (let ((?v_326 (< ?v_325 5)) (?v_353 (- t_BAKE_CERAMIC3_p3_k14 t_BAKE_CERAMIC3_p3_k12))) (let ((?v_354 (< ?v_353 5)) (?v_381 (- t_BAKE_CERAMIC3_p3_k15 t_BAKE_CERAMIC3_p3_k12))) (let ((?v_382 (< ?v_381 5)) (?v_285 (- t_BAKE_CERAMIC3_p3_k22 t_BAKE_CERAMIC3_p3_k13))) (let ((?v_286 (< ?v_285 5)) (?v_313 (- t_BAKE_CERAMIC3_p3_k23 t_BAKE_CERAMIC3_p3_k13))) (let ((?v_314 (< ?v_313 5)) (?v_343 (- t_BAKE_CERAMIC3_p3_k24 t_BAKE_CERAMIC3_p3_k13))) (let ((?v_344 (< ?v_343 5)) (?v_371 (- t_BAKE_CERAMIC3_p3_k25 t_BAKE_CERAMIC3_p3_k13))) (let ((?v_372 (< ?v_371 5)) (?v_299 (- t_BAKE_CERAMIC3_p3_k12 t_BAKE_CERAMIC3_p3_k13))) (let ((?v_300 (< ?v_299 5)) (?v_357 (- t_BAKE_CERAMIC3_p3_k14 t_BAKE_CERAMIC3_p3_k13))) (let ((?v_358 (< ?v_357 5)) (?v_385 (- t_BAKE_CERAMIC3_p3_k15 t_BAKE_CERAMIC3_p3_k13))) (let ((?v_386 (< ?v_385 5)) (?v_289 (- t_BAKE_CERAMIC3_p3_k22 t_BAKE_CERAMIC3_p3_k14))) (let ((?v_290 (< ?v_289 5)) (?v_317 (- t_BAKE_CERAMIC3_p3_k23 t_BAKE_CERAMIC3_p3_k14))) (let ((?v_318 (< ?v_317 5)) (?v_345 (- t_BAKE_CERAMIC3_p3_k24 t_BAKE_CERAMIC3_p3_k14))) (let ((?v_346 (< ?v_345 5)) (?v_375 (- t_BAKE_CERAMIC3_p3_k25 t_BAKE_CERAMIC3_p3_k14))) (let ((?v_376 (< ?v_375 5)) (?v_303 (- t_BAKE_CERAMIC3_p3_k12 t_BAKE_CERAMIC3_p3_k14))) (let ((?v_304 (< ?v_303 5)) (?v_331 (- t_BAKE_CERAMIC3_p3_k13 t_BAKE_CERAMIC3_p3_k14))) (let ((?v_332 (< ?v_331 5)) (?v_389 (- t_BAKE_CERAMIC3_p3_k15 t_BAKE_CERAMIC3_p3_k14))) (let ((?v_390 (< ?v_389 5)) (?v_293 (- t_BAKE_CERAMIC3_p3_k22 t_BAKE_CERAMIC3_p3_k15))) (let ((?v_294 (< ?v_293 5)) (?v_321 (- t_BAKE_CERAMIC3_p3_k23 t_BAKE_CERAMIC3_p3_k15))) (let ((?v_322 (< ?v_321 5)) (?v_349 (- t_BAKE_CERAMIC3_p3_k24 t_BAKE_CERAMIC3_p3_k15))) (let ((?v_350 (< ?v_349 5)) (?v_377 (- t_BAKE_CERAMIC3_p3_k25 t_BAKE_CERAMIC3_p3_k15))) (let ((?v_378 (< ?v_377 5)) (?v_307 (- t_BAKE_CERAMIC3_p3_k12 t_BAKE_CERAMIC3_p3_k15))) (let ((?v_308 (< ?v_307 5)) (?v_335 (- t_BAKE_CERAMIC3_p3_k13 t_BAKE_CERAMIC3_p3_k15))) (let ((?v_336 (< ?v_335 5)) (?v_363 (- t_BAKE_CERAMIC3_p3_k14 t_BAKE_CERAMIC3_p3_k15))) (let ((?v_364 (< ?v_363 5)) (?v_400 (> ?v_281 5)) (?v_407 (> ?v_283 5)) (?v_414 (> ?v_285 5)) (?v_421 (> ?v_287 5)) (?v_428 (> ?v_289 5)) (?v_435 (> ?v_291 5)) (?v_442 (> ?v_293 5)) (?v_393 (> ?v_295 5)) (?v_408 (> ?v_297 5)) (?v_415 (> ?v_299 5)) (?v_422 (> ?v_301 5)) (?v_429 (> ?v_303 5)) (?v_436 (> ?v_305 5)) (?v_443 (> ?v_307 5)) (?v_394 (> ?v_309 5)) (?v_401 (> ?v_311 5)) (?v_416 (> ?v_313 5)) (?v_423 (> ?v_315 5)) (?v_430 (> ?v_317 5)) (?v_437 (> ?v_319 5)) (?v_444 (> ?v_321 5)) (?v_395 (> ?v_323 5)) (?v_402 (> ?v_325 5)) (?v_409 (> ?v_327 5)) (?v_424 (> ?v_329 5)) (?v_431 (> ?v_331 5)) (?v_438 (> ?v_333 5)) (?v_445 (> ?v_335 5)) (?v_396 (> ?v_337 5)) (?v_403 (> ?v_339 5)) (?v_410 (> ?v_341 5)) (?v_417 (> ?v_343 5)) (?v_432 (> ?v_345 5)) (?v_439 (> ?v_347 5)) (?v_446 (> ?v_349 5)) (?v_397 (> ?v_351 5)) (?v_404 (> ?v_353 5)) (?v_411 (> ?v_355 5)) (?v_418 (> ?v_357 5)) (?v_425 (> ?v_359 5)) (?v_440 (> ?v_361 5)) (?v_447 (> ?v_363 5)) (?v_398 (> ?v_365 5)) (?v_405 (> ?v_367 5)) (?v_412 (> ?v_369 5)) (?v_419 (> ?v_371 5)) (?v_426 (> ?v_373 5)) (?v_433 (> ?v_375 5)) (?v_448 (> ?v_377 5)) (?v_399 (> ?v_379 5)) (?v_406 (> ?v_381 5)) (?v_413 (> ?v_383 5)) (?v_420 (> ?v_385 5)) (?v_427 (> ?v_387 5)) (?v_434 (> ?v_389 5)) (?v_441 (> ?v_391 5)) (?v_473 (> ?v_461 15)) (?v_475 (> ?v_463 15)) (?v_478 (> ?v_465 15)) (?v_474 (> ?v_467 15)) (?v_476 (> ?v_469 15)) (?v_477 (> ?v_471 15)) (?v_513 (> ?v_501 10)) (?v_515 (> ?v_503 10)) (?v_518 (> ?v_505 10)) (?v_514 (> ?v_507 10)) (?v_516 (> ?v_509 10)) (?v_517 (> ?v_511 10))) (and Init Goal (or ?v_265 Link_FIRE_KILN1_k11.ready_k1.BAKE_CERAMIC3_p3_k12) (or ?v_257 Link_FIRE_KILN2_k21.ready_k2.BAKE_CERAMIC3_p3_k22) (or ?v_96 Link_FIRE_KILN1_k11.ready_k1.BAKE_CERAMIC2_p2_k12) (or ?v_93 Link_FIRE_KILN2_k21.ready_k2.BAKE_CERAMIC2_p2_k22) (or ?v_106 Link_FIRE_KILN1_k11.ready_k1.BAKE_CERAMIC1_p1_k12) (or ?v_103 Link_FIRE_KILN2_k21.ready_k2.BAKE_CERAMIC1_p1_k22) (or ?v_533 Link_BAKE_CERAMIC2_p2_k22.baking_p2.TREAT_CERAMIC2_p23 Link_BAKE_CERAMIC2_p2_k12.baking_p2.TREAT_CERAMIC2_p23) (or ?v_534 Link_BAKE_CERAMIC1_p1_k22.baking_p1.TREAT_CERAMIC1_p13 Link_BAKE_CERAMIC1_p1_k12.baking_p1.TREAT_CERAMIC1_p13) (or ?v_535 Link_BAKE_CERAMIC2_p2_k22.baking_p2.TREAT_CERAMIC1_p23 Link_BAKE_CERAMIC2_p2_k12.baking_p2.TREAT_CERAMIC1_p23) (or ?v_267 Link_FIRE_KILN1_k11.ready_k1.BAKE_CERAMIC3_p3_k13 Link_FIRE_KILN1_k12.ready_k1.BAKE_CERAMIC3_p3_k13) (or ?v_259 Link_FIRE_KILN2_k21.ready_k2.BAKE_CERAMIC3_p3_k23 Link_FIRE_KILN2_k22.ready_k2.BAKE_CERAMIC3_p3_k23) (or ?v_98 Link_FIRE_KILN1_k11.ready_k1.BAKE_CERAMIC2_p2_k13 Link_FIRE_KILN1_k12.ready_k1.BAKE_CERAMIC2_p2_k13) (or ?v_95 Link_FIRE_KILN2_k21.ready_k2.BAKE_CERAMIC2_p2_k23 Link_FIRE_KILN2_k22.ready_k2.BAKE_CERAMIC2_p2_k23) (or ?v_108 Link_FIRE_KILN1_k11.ready_k1.BAKE_CERAMIC1_p1_k13 Link_FIRE_KILN1_k12.ready_k1.BAKE_CERAMIC1_p1_k13) (or ?v_105 Link_FIRE_KILN2_k21.ready_k2.BAKE_CERAMIC1_p1_k23 Link_FIRE_KILN2_k22.ready_k2.BAKE_CERAMIC1_p1_k23) (or ?v_0 Link_TREAT_CERAMIC1_p23.treated_p2.MAKE_STRUCTURE_p1_p24 Link_TREAT_CERAMIC2_p23.treated_p2.MAKE_STRUCTURE_p1_p24) (or ?v_0 Link_BAKE_CERAMIC2_p2_k22.baked_p2.MAKE_STRUCTURE_p1_p24 Link_BAKE_CERAMIC2_p2_k23.baked_p2.MAKE_STRUCTURE_p1_p24 Link_BAKE_CERAMIC2_p2_k12.baked_p2.MAKE_STRUCTURE_p1_p24 Link_BAKE_CERAMIC2_p2_k13.baked_p2.MAKE_STRUCTURE_p1_p24) (or ?v_0 Link_TREAT_CERAMIC1_p13.treated_p1.MAKE_STRUCTURE_p1_p24) (or ?v_0 Link_BAKE_CERAMIC1_p1_k22.baked_p1.MAKE_STRUCTURE_p1_p24 Link_BAKE_CERAMIC1_p1_k23.baked_p1.MAKE_STRUCTURE_p1_p24 Link_BAKE_CERAMIC1_p1_k12.baked_p1.MAKE_STRUCTURE_p1_p24 Link_BAKE_CERAMIC1_p1_k13.baked_p1.MAKE_STRUCTURE_p1_p24) (or ?v_269 Link_FIRE_KILN1_k11.ready_k1.BAKE_CERAMIC3_p3_k14 Link_FIRE_KILN1_k12.ready_k1.BAKE_CERAMIC3_p3_k14 Link_FIRE_KILN1_k13.ready_k1.BAKE_CERAMIC3_p3_k14) (or ?v_261 Link_FIRE_KILN2_k21.ready_k2.BAKE_CERAMIC3_p3_k24 Link_FIRE_KILN2_k22.ready_k2.BAKE_CERAMIC3_p3_k24 Link_FIRE_KILN2_k23.ready_k2.BAKE_CERAMIC3_p3_k24) (or ?v_1 Link_MAKE_STRUCTURE_p1_p24.structured_p1_p2.BAKE_STRUCTURE_p1_p2_k15) (or ?v_1 Link_FIRE_KILN1_k11.ready_k1.BAKE_STRUCTURE_p1_p2_k15 Link_FIRE_KILN1_k12.ready_k1.BAKE_STRUCTURE_p1_p2_k15 Link_FIRE_KILN1_k13.ready_k1.BAKE_STRUCTURE_p1_p2_k15 Link_FIRE_KILN1_k14.ready_k1.BAKE_STRUCTURE_p1_p2_k15) (or ?v_2 Link_MAKE_STRUCTURE_p1_p24.structured_p1_p2.BAKE_STRUCTURE_p1_p2_k25) (or ?v_2 Link_FIRE_KILN2_k21.ready_k2.BAKE_STRUCTURE_p1_p2_k25 Link_FIRE_KILN2_k22.ready_k2.BAKE_STRUCTURE_p1_p2_k25 Link_FIRE_KILN2_k23.ready_k2.BAKE_STRUCTURE_p1_p2_k25 Link_FIRE_KILN2_k24.ready_k2.BAKE_STRUCTURE_p1_p2_k25) (or ?v_271 Link_FIRE_KILN1_k11.ready_k1.BAKE_CERAMIC3_p3_k15 Link_FIRE_KILN1_k12.ready_k1.BAKE_CERAMIC3_p3_k15 Link_FIRE_KILN1_k13.ready_k1.BAKE_CERAMIC3_p3_k15 Link_FIRE_KILN1_k14.ready_k1.BAKE_CERAMIC3_p3_k15) (or ?v_263 Link_FIRE_KILN2_k21.ready_k2.BAKE_CERAMIC3_p3_k25 Link_FIRE_KILN2_k22.ready_k2.BAKE_CERAMIC3_p3_k25 Link_FIRE_KILN2_k23.ready_k2.BAKE_CERAMIC3_p3_k25 Link_FIRE_KILN2_k24.ready_k2.BAKE_CERAMIC3_p3_k25) (or ?v_3 Link_BAKE_STRUCTURE_p1_p2_k25.baked_structure_p1_p2.Goal Link_BAKE_STRUCTURE_p1_p2_k15.baked_structure_p1_p2.Goal) (or ?v_3 Link_BAKE_CERAMIC3_p3_k22.baked_p3.Goal Link_BAKE_CERAMIC3_p3_k23.baked_p3.Goal Link_BAKE_CERAMIC3_p3_k24.baked_p3.Goal Link_BAKE_CERAMIC3_p3_k25.baked_p3.Goal Link_BAKE_CERAMIC3_p3_k12.baked_p3.Goal Link_BAKE_CERAMIC3_p3_k13.baked_p3.Goal Link_BAKE_CERAMIC3_p3_k14.baked_p3.Goal Link_BAKE_CERAMIC3_p3_k15.baked_p3.Goal) (or ?v_4 FIRE_KILN1_k11) (or ?v_4 BAKE_CERAMIC3_p3_k12) (or ?v_4 (>= ?v_73 0)) (or ?v_5 FIRE_KILN2_k21) (or ?v_5 BAKE_CERAMIC3_p3_k22) (or ?v_5 (>= ?v_74 0)) (or ?v_6 FIRE_KILN1_k11) (or ?v_6 BAKE_CERAMIC2_p2_k12) (or ?v_6 (>= (- t_BAKE_CERAMIC2_p2_k12 t_FIRE_KILN1_k11) 0)) (or ?v_7 FIRE_KILN2_k21) (or ?v_7 BAKE_CERAMIC2_p2_k22) (or ?v_7 (>= ?v_85 0)) (or ?v_8 FIRE_KILN1_k11) (or ?v_8 BAKE_CERAMIC1_p1_k12) (or ?v_8 (>= (- t_BAKE_CERAMIC1_p1_k12 t_FIRE_KILN1_k11) 0)) (or ?v_9 FIRE_KILN2_k21) (or ?v_9 BAKE_CERAMIC1_p1_k22) (or ?v_9 (>= ?v_92 0)) (or ?v_10 BAKE_CERAMIC2_p2_k22) (or ?v_10 TREAT_CERAMIC2_p23) (or ?v_10 (>= ?v_94 0)) (or ?v_11 BAKE_CERAMIC2_p2_k12) (or ?v_11 TREAT_CERAMIC2_p23) (or ?v_11 (>= ?v_97 0)) (or ?v_12 BAKE_CERAMIC1_p1_k22) (or ?v_12 TREAT_CERAMIC1_p13) (or ?v_12 (>= ?v_104 0)) (or ?v_13 BAKE_CERAMIC1_p1_k12) (or ?v_13 TREAT_CERAMIC1_p13) (or ?v_13 (>= ?v_107 0)) (or ?v_14 BAKE_CERAMIC2_p2_k22) (or ?v_14 TREAT_CERAMIC1_p23) (or ?v_14 (>= ?v_114 0)) (or ?v_15 BAKE_CERAMIC2_p2_k12) (or ?v_15 TREAT_CERAMIC1_p23) (or ?v_15 (>= ?v_117 0)) (or ?v_16 FIRE_KILN1_k11) (or ?v_16 BAKE_CERAMIC3_p3_k13) (or ?v_16 (>= ?v_127 0)) (or ?v_17 FIRE_KILN1_k12) (or ?v_17 BAKE_CERAMIC3_p3_k13) (or ?v_17 (>= ?v_128 0)) (or ?v_18 FIRE_KILN2_k21) (or ?v_18 BAKE_CERAMIC3_p3_k23) (or ?v_18 (>= ?v_133 0)) (or ?v_19 FIRE_KILN2_k22) (or ?v_19 BAKE_CERAMIC3_p3_k23) (or ?v_19 (>= ?v_134 0)) (or ?v_20 FIRE_KILN1_k11) (or ?v_20 BAKE_CERAMIC2_p2_k13) (or ?v_20 (>= (- t_BAKE_CERAMIC2_p2_k13 t_FIRE_KILN1_k11) 0)) (or ?v_21 FIRE_KILN1_k12) (or ?v_21 BAKE_CERAMIC2_p2_k13) (or ?v_21 (>= (- t_BAKE_CERAMIC2_p2_k13 t_FIRE_KILN1_k12) 0)) (or ?v_22 FIRE_KILN2_k21) (or ?v_22 BAKE_CERAMIC2_p2_k23) (or ?v_22 (>= ?v_147 0)) (or ?v_23 FIRE_KILN2_k22) (or ?v_23 BAKE_CERAMIC2_p2_k23) (or ?v_23 (>= ?v_148 0)) (or ?v_24 FIRE_KILN1_k11) (or ?v_24 BAKE_CERAMIC1_p1_k13) (or ?v_24 (>= (- t_BAKE_CERAMIC1_p1_k13 t_FIRE_KILN1_k11) 0)) (or ?v_25 FIRE_KILN1_k12) (or ?v_25 BAKE_CERAMIC1_p1_k13) (or ?v_25 (>= (- t_BAKE_CERAMIC1_p1_k13 t_FIRE_KILN1_k12) 0)) (or ?v_26 FIRE_KILN2_k21) (or ?v_26 BAKE_CERAMIC1_p1_k23) (or ?v_26 (>= ?v_161 0)) (or ?v_27 FIRE_KILN2_k22) (or ?v_27 BAKE_CERAMIC1_p1_k23) (or ?v_27 (>= ?v_162 0)) (or ?v_28 TREAT_CERAMIC1_p23) (or ?v_28 MAKE_STRUCTURE_p1_p24) (or ?v_28 (>= (- t_MAKE_STRUCTURE_p1_p24 t_TREAT_CERAMIC1_p23) 3)) (or ?v_29 TREAT_CERAMIC2_p23) (or ?v_29 MAKE_STRUCTURE_p1_p24) (or ?v_29 (>= (- t_MAKE_STRUCTURE_p1_p24 t_TREAT_CERAMIC2_p23) 2)) (or ?v_30 BAKE_CERAMIC2_p2_k22) (or ?v_30 MAKE_STRUCTURE_p1_p24) (or ?v_30 (>= (- t_MAKE_STRUCTURE_p1_p24 t_BAKE_CERAMIC2_p2_k22) 10)) (or ?v_31 BAKE_CERAMIC2_p2_k23) (or ?v_31 MAKE_STRUCTURE_p1_p24) (or ?v_31 (>= (- t_MAKE_STRUCTURE_p1_p24 t_BAKE_CERAMIC2_p2_k23) 10)) (or ?v_32 BAKE_CERAMIC2_p2_k12) (or ?v_32 MAKE_STRUCTURE_p1_p24) (or ?v_32 (>= (- t_MAKE_STRUCTURE_p1_p24 t_BAKE_CERAMIC2_p2_k12) 10)) (or ?v_33 BAKE_CERAMIC2_p2_k13) (or ?v_33 MAKE_STRUCTURE_p1_p24) (or ?v_33 (>= (- t_MAKE_STRUCTURE_p1_p24 t_BAKE_CERAMIC2_p2_k13) 10)) (or ?v_34 TREAT_CERAMIC1_p13) (or ?v_34 MAKE_STRUCTURE_p1_p24) (or ?v_34 (>= (- t_MAKE_STRUCTURE_p1_p24 t_TREAT_CERAMIC1_p13) 3)) (or ?v_35 BAKE_CERAMIC1_p1_k22) (or ?v_35 MAKE_STRUCTURE_p1_p24) (or ?v_35 (>= (- t_MAKE_STRUCTURE_p1_p24 t_BAKE_CERAMIC1_p1_k22) 15)) (or ?v_36 BAKE_CERAMIC1_p1_k23) (or ?v_36 MAKE_STRUCTURE_p1_p24) (or ?v_36 (>= (- t_MAKE_STRUCTURE_p1_p24 t_BAKE_CERAMIC1_p1_k23) 15)) (or ?v_37 BAKE_CERAMIC1_p1_k12) (or ?v_37 MAKE_STRUCTURE_p1_p24) (or ?v_37 (>= (- t_MAKE_STRUCTURE_p1_p24 t_BAKE_CERAMIC1_p1_k12) 15)) (or ?v_38 BAKE_CERAMIC1_p1_k13) (or ?v_38 MAKE_STRUCTURE_p1_p24) (or ?v_38 (>= (- t_MAKE_STRUCTURE_p1_p24 t_BAKE_CERAMIC1_p1_k13) 15)) (or ?v_39 FIRE_KILN1_k11) (or ?v_39 BAKE_CERAMIC3_p3_k14) (or ?v_39 (>= ?v_191 0)) (or ?v_40 FIRE_KILN1_k12) (or ?v_40 BAKE_CERAMIC3_p3_k14) (or ?v_40 (>= ?v_192 0)) (or ?v_41 FIRE_KILN1_k13) (or ?v_41 BAKE_CERAMIC3_p3_k14) (or ?v_41 (>= ?v_193 0)) (or ?v_42 FIRE_KILN2_k21) (or ?v_42 BAKE_CERAMIC3_p3_k24) (or ?v_42 (>= ?v_198 0)) (or ?v_43 FIRE_KILN2_k22) (or ?v_43 BAKE_CERAMIC3_p3_k24) (or ?v_43 (>= ?v_199 0)) (or ?v_44 FIRE_KILN2_k23) (or ?v_44 BAKE_CERAMIC3_p3_k24) (or ?v_44 (>= ?v_200 0)) (or ?v_45 MAKE_STRUCTURE_p1_p24) (or ?v_45 BAKE_STRUCTURE_p1_p2_k15) (or ?v_45 (>= (- t_BAKE_STRUCTURE_p1_p2_k15 t_MAKE_STRUCTURE_p1_p24) 1)) (or ?v_46 FIRE_KILN1_k11) (or ?v_46 BAKE_STRUCTURE_p1_p2_k15) (or ?v_46 (>= ?v_205 0)) (or ?v_47 FIRE_KILN1_k12) (or ?v_47 BAKE_STRUCTURE_p1_p2_k15) (or ?v_47 (>= ?v_206 0)) (or ?v_48 FIRE_KILN1_k13) (or ?v_48 BAKE_STRUCTURE_p1_p2_k15) (or ?v_48 (>= ?v_207 0)) (or ?v_49 FIRE_KILN1_k14) (or ?v_49 BAKE_STRUCTURE_p1_p2_k15) (or ?v_49 (>= ?v_208 0)) (or ?v_50 MAKE_STRUCTURE_p1_p24) (or ?v_50 BAKE_STRUCTURE_p1_p2_k25) (or ?v_50 (>= (- t_BAKE_STRUCTURE_p1_p2_k25 t_MAKE_STRUCTURE_p1_p24) 1)) (or ?v_51 FIRE_KILN2_k21) (or ?v_51 BAKE_STRUCTURE_p1_p2_k25) (or ?v_51 (>= ?v_217 0)) (or ?v_52 FIRE_KILN2_k22) (or ?v_52 BAKE_STRUCTURE_p1_p2_k25) (or ?v_52 (>= ?v_218 0)) (or ?v_53 FIRE_KILN2_k23) (or ?v_53 BAKE_STRUCTURE_p1_p2_k25) (or ?v_53 (>= ?v_219 0)) (or ?v_54 FIRE_KILN2_k24) (or ?v_54 BAKE_STRUCTURE_p1_p2_k25) (or ?v_54 (>= ?v_220 0)) (or ?v_55 FIRE_KILN1_k11) (or ?v_55 BAKE_CERAMIC3_p3_k15) (or ?v_55 (>= ?v_229 0)) (or ?v_56 FIRE_KILN1_k12) (or ?v_56 BAKE_CERAMIC3_p3_k15) (or ?v_56 (>= ?v_230 0)) (or ?v_57 FIRE_KILN1_k13) (or ?v_57 BAKE_CERAMIC3_p3_k15) (or ?v_57 (>= ?v_231 0)) (or ?v_58 FIRE_KILN1_k14) (or ?v_58 BAKE_CERAMIC3_p3_k15) (or ?v_58 (>= ?v_232 0)) (or ?v_59 FIRE_KILN2_k21) (or ?v_59 BAKE_CERAMIC3_p3_k25) (or ?v_59 (>= ?v_241 0)) (or ?v_60 FIRE_KILN2_k22) (or ?v_60 BAKE_CERAMIC3_p3_k25) (or ?v_60 (>= ?v_242 0)) (or ?v_61 FIRE_KILN2_k23) (or ?v_61 BAKE_CERAMIC3_p3_k25) (or ?v_61 (>= ?v_243 0)) (or ?v_62 FIRE_KILN2_k24) (or ?v_62 BAKE_CERAMIC3_p3_k25) (or ?v_62 (>= ?v_244 0)) (or ?v_63 Goal) (or ?v_63 BAKE_STRUCTURE_p1_p2_k25) (or ?v_63 ?v_541) (or ?v_64 Goal) (or ?v_64 BAKE_STRUCTURE_p1_p2_k15) (or ?v_64 ?v_540) (or ?v_65 Goal) (or ?v_65 BAKE_CERAMIC3_p3_k22) (or ?v_65 ?v_532) (or ?v_66 Goal) (or ?v_66 BAKE_CERAMIC3_p3_k23) (or ?v_66 ?v_537) (or ?v_67 Goal) (or ?v_67 BAKE_CERAMIC3_p3_k24) (or ?v_67 ?v_539) (or ?v_68 Goal) (or ?v_68 BAKE_CERAMIC3_p3_k25) (or ?v_68 ?v_543) (or ?v_69 Goal) (or ?v_69 BAKE_CERAMIC3_p3_k12) (or ?v_69 ?v_531) (or ?v_70 Goal) (or ?v_70 BAKE_CERAMIC3_p3_k13) (or ?v_70 ?v_536) (or ?v_71 Goal) (or ?v_71 BAKE_CERAMIC3_p3_k14) (or ?v_71 ?v_538) (or ?v_72 Goal) (or ?v_72 BAKE_CERAMIC3_p3_k15) (or ?v_72 ?v_542) (or ?v_4 ?v_75 ?v_76 (< ?v_73 3)) (or ?v_4 ?v_77 ?v_78 (< (- t_BAKE_CERAMIC3_p3_k12 t_FIRE_KILN1_k12) 3)) (or ?v_4 ?v_79 ?v_80 (< (- t_BAKE_CERAMIC3_p3_k12 t_FIRE_KILN1_k13) 3)) (or ?v_4 ?v_81 ?v_82 (< (- t_BAKE_CERAMIC3_p3_k12 t_FIRE_KILN1_k14) 3)) (or ?v_5 ?v_83 ?v_84 (< ?v_74 15)) (or ?v_5 ?v_86 ?v_87 (< (- t_BAKE_CERAMIC3_p3_k22 t_FIRE_KILN2_k22) 15)) (or ?v_5 ?v_88 ?v_89 (< (- t_BAKE_CERAMIC3_p3_k22 t_FIRE_KILN2_k23) 15)) (or ?v_5 ?v_90 ?v_91 (< (- t_BAKE_CERAMIC3_p3_k22 t_FIRE_KILN2_k24) 15)) (or ?v_6 ?v_75 ?v_76 (> (- t_FIRE_KILN1_k11 t_BAKE_CERAMIC2_p2_k12) 2)) (or ?v_6 ?v_77 ?v_78 (> (- t_FIRE_KILN1_k12 t_BAKE_CERAMIC2_p2_k12) 2)) (or ?v_6 ?v_79 ?v_80 (> (- t_FIRE_KILN1_k13 t_BAKE_CERAMIC2_p2_k12) 2)) (or ?v_6 ?v_81 ?v_82 (> (- t_FIRE_KILN1_k14 t_BAKE_CERAMIC2_p2_k12) 2)) (or ?v_7 ?v_83 ?v_84 (< ?v_85 10)) (or ?v_7 ?v_86 ?v_87 (< (- t_BAKE_CERAMIC2_p2_k22 t_FIRE_KILN2_k22) 10)) (or ?v_7 ?v_88 ?v_89 (< (- t_BAKE_CERAMIC2_p2_k22 t_FIRE_KILN2_k23) 10)) (or ?v_7 ?v_90 ?v_91 (< (- t_BAKE_CERAMIC2_p2_k22 t_FIRE_KILN2_k24) 10)) (or ?v_8 ?v_75 ?v_76 (> (- t_FIRE_KILN1_k11 t_BAKE_CERAMIC1_p1_k12) 7)) (or ?v_8 ?v_77 ?v_78 (> (- t_FIRE_KILN1_k12 t_BAKE_CERAMIC1_p1_k12) 7)) (or ?v_8 ?v_79 ?v_80 (> (- t_FIRE_KILN1_k13 t_BAKE_CERAMIC1_p1_k12) 7)) (or ?v_8 ?v_81 ?v_82 (> (- t_FIRE_KILN1_k14 t_BAKE_CERAMIC1_p1_k12) 7)) (or ?v_9 ?v_83 ?v_84 (< ?v_92 5)) (or ?v_9 ?v_86 ?v_87 (< (- t_BAKE_CERAMIC1_p1_k22 t_FIRE_KILN2_k22) 5)) (or ?v_9 ?v_88 ?v_89 (< (- t_BAKE_CERAMIC1_p1_k22 t_FIRE_KILN2_k23) 5)) (or ?v_9 ?v_90 ?v_91 (< (- t_BAKE_CERAMIC1_p1_k22 t_FIRE_KILN2_k24) 5)) (or ?v_10 ?v_93 ?v_113 ?v_99) (or ?v_10 ?v_95 ?v_115 ?v_100) (or ?v_10 ?v_96 ?v_116 ?v_101) (or ?v_10 ?v_98 ?v_118 ?v_102) (or ?v_11 ?v_93 ?v_119 ?v_99) (or ?v_11 ?v_95 ?v_121 ?v_100) (or ?v_11 ?v_96 ?v_123 ?v_101) (or ?v_11 ?v_98 ?v_125 ?v_102) (or ?v_12 ?v_103 (> ?v_179 15) ?v_109) (or ?v_12 ?v_105 ?v_451 ?v_110) (or ?v_12 ?v_106 ?v_449 ?v_111) (or ?v_12 ?v_108 ?v_453 ?v_112) (or ?v_13 ?v_103 ?v_455 ?v_109) (or ?v_13 ?v_105 ?v_457 ?v_110) (or ?v_13 ?v_106 (> ?v_188 15) ?v_111) (or ?v_13 ?v_108 ?v_459 ?v_112) (or ?v_14 ?v_93 ?v_113 ?v_120) (or ?v_14 ?v_95 ?v_115 ?v_122) (or ?v_14 ?v_96 ?v_116 ?v_124) (or ?v_14 ?v_98 ?v_118 ?v_126) (or ?v_15 ?v_93 ?v_119 ?v_120) (or ?v_15 ?v_95 ?v_121 ?v_122) (or ?v_15 ?v_96 ?v_123 ?v_124) (or ?v_15 ?v_98 ?v_125 ?v_126) (or ?v_16 ?v_75 ?v_76 ?v_129) (or ?v_16 ?v_77 ?v_78 ?v_130) (or ?v_16 ?v_79 ?v_80 ?v_131) (or ?v_16 ?v_81 ?v_82 ?v_132) (or ?v_17 ?v_75 ?v_139 ?v_129) (or ?v_17 ?v_77 ?v_141 ?v_130) (or ?v_17 ?v_79 ?v_143 ?v_131) (or ?v_17 ?v_81 ?v_145 ?v_132) (or ?v_18 ?v_83 ?v_84 ?v_135) (or ?v_18 ?v_86 ?v_87 ?v_136) (or ?v_18 ?v_88 ?v_89 ?v_137) (or ?v_18 ?v_90 ?v_91 ?v_138) (or ?v_19 ?v_83 ?v_149 ?v_135) (or ?v_19 ?v_86 ?v_151 ?v_136) (or ?v_19 ?v_88 ?v_153 ?v_137) (or ?v_19 ?v_90 ?v_155 ?v_138) (or ?v_20 ?v_75 ?v_76 ?v_140) (or ?v_20 ?v_77 ?v_78 ?v_142) (or ?v_20 ?v_79 ?v_80 ?v_144) (or ?v_20 ?v_81 ?v_82 ?v_146) (or ?v_21 ?v_75 ?v_139 ?v_140) (or ?v_21 ?v_77 ?v_141 ?v_142) (or ?v_21 ?v_79 ?v_143 ?v_144) (or ?v_21 ?v_81 ?v_145 ?v_146) (or ?v_22 ?v_83 ?v_84 ?v_150) (or ?v_22 ?v_86 ?v_87 ?v_152) (or ?v_22 ?v_88 ?v_89 ?v_154) (or ?v_22 ?v_90 ?v_91 ?v_156) (or ?v_23 ?v_83 ?v_149 ?v_150) (or ?v_23 ?v_86 ?v_151 ?v_152) (or ?v_23 ?v_88 ?v_153 ?v_154) (or ?v_23 ?v_90 ?v_155 ?v_156) (or ?v_24 ?v_75 ?v_76 ?v_157) (or ?v_24 ?v_77 ?v_78 ?v_158) (or ?v_24 ?v_79 ?v_80 ?v_159) (or ?v_24 ?v_81 ?v_82 ?v_160) (or ?v_25 ?v_75 ?v_139 ?v_157) (or ?v_25 ?v_77 ?v_141 ?v_158) (or ?v_25 ?v_79 ?v_143 ?v_159) (or ?v_25 ?v_81 ?v_145 ?v_160) (or ?v_26 ?v_83 ?v_84 ?v_163) (or ?v_26 ?v_86 ?v_87 ?v_164) (or ?v_26 ?v_88 ?v_89 ?v_165) (or ?v_26 ?v_90 ?v_91 ?v_166) (or ?v_27 ?v_83 ?v_149 ?v_163) (or ?v_27 ?v_86 ?v_151 ?v_164) (or ?v_27 ?v_88 ?v_153 ?v_165) (or ?v_27 ?v_90 ?v_155 ?v_166) (or ?v_30 ?v_93 (< ?v_167 10) ?v_170) (or ?v_30 ?v_95 ?v_502 ?v_171) (or ?v_30 ?v_96 ?v_498 ?v_173) (or ?v_30 ?v_98 ?v_508 ?v_174) (or ?v_31 ?v_93 ?v_496 ?v_170) (or ?v_31 ?v_95 (< (- t_BAKE_CERAMIC2_p2_k23 t_BAKE_CERAMIC2_p2_k23) 10) ?v_171) (or ?v_31 ?v_96 ?v_499 ?v_173) (or ?v_31 ?v_98 ?v_512 ?v_174) (or ?v_32 ?v_93 ?v_495 ?v_170) (or ?v_32 ?v_95 ?v_504 ?v_171) (or ?v_32 ?v_96 (< ?v_176 10) ?v_173) (or ?v_32 ?v_98 ?v_510 ?v_174) (or ?v_33 ?v_93 ?v_497 ?v_170) (or ?v_33 ?v_95 ?v_506 ?v_171) (or ?v_33 ?v_96 ?v_500 ?v_173) (or ?v_33 ?v_98 (< (- t_BAKE_CERAMIC2_p2_k13 t_BAKE_CERAMIC2_p2_k13) 10) ?v_174) (or ?v_35 ?v_103 (< ?v_179 15) ?v_182) (or ?v_35 ?v_105 ?v_462 ?v_183) (or ?v_35 ?v_106 ?v_456 ?v_185) (or ?v_35 ?v_108 ?v_468 ?v_186) (or ?v_36 ?v_103 ?v_452 ?v_182) (or ?v_36 ?v_105 (< (- t_BAKE_CERAMIC1_p1_k23 t_BAKE_CERAMIC1_p1_k23) 15) ?v_183) (or ?v_36 ?v_106 ?v_458 ?v_185) (or ?v_36 ?v_108 ?v_472 ?v_186) (or ?v_37 ?v_103 ?v_450 ?v_182) (or ?v_37 ?v_105 ?v_464 ?v_183) (or ?v_37 ?v_106 (< ?v_188 15) ?v_185) (or ?v_37 ?v_108 ?v_470 ?v_186) (or ?v_38 ?v_103 ?v_454 ?v_182) (or ?v_38 ?v_105 ?v_466 ?v_183) (or ?v_38 ?v_106 ?v_460 ?v_185) (or ?v_38 ?v_108 (< (- t_BAKE_CERAMIC1_p1_k13 t_BAKE_CERAMIC1_p1_k13) 15) ?v_186) (or ?v_39 ?v_75 ?v_76 ?v_194) (or ?v_39 ?v_77 ?v_78 ?v_195) (or ?v_39 ?v_79 ?v_80 ?v_196) (or ?v_39 ?v_81 ?v_82 ?v_197) (or ?v_40 ?v_75 ?v_139 ?v_194) (or ?v_40 ?v_77 ?v_141 ?v_195) (or ?v_40 ?v_79 ?v_143 ?v_196) (or ?v_40 ?v_81 ?v_145 ?v_197) (or ?v_41 ?v_75 ?v_213 ?v_194) (or ?v_41 ?v_77 ?v_214 ?v_195) (or ?v_41 ?v_79 ?v_215 ?v_196) (or ?v_41 ?v_81 ?v_216 ?v_197) (or ?v_42 ?v_83 ?v_84 ?v_201) (or ?v_42 ?v_86 ?v_87 ?v_202) (or ?v_42 ?v_88 ?v_89 ?v_203) (or ?v_42 ?v_90 ?v_91 ?v_204) (or ?v_43 ?v_83 ?v_149 ?v_201) (or ?v_43 ?v_86 ?v_151 ?v_202) (or ?v_43 ?v_88 ?v_153 ?v_203) (or ?v_43 ?v_90 ?v_155 ?v_204) (or ?v_44 ?v_83 ?v_225 ?v_201) (or ?v_44 ?v_86 ?v_226 ?v_202) (or ?v_44 ?v_88 ?v_227 ?v_203) (or ?v_44 ?v_90 ?v_228 ?v_204) (or ?v_46 ?v_75 ?v_76 ?v_209) (or ?v_46 ?v_77 ?v_78 ?v_210) (or ?v_46 ?v_79 ?v_80 ?v_211) (or ?v_46 ?v_81 ?v_82 ?v_212) (or ?v_47 ?v_75 ?v_139 ?v_209) (or ?v_47 ?v_77 ?v_141 ?v_210) (or ?v_47 ?v_79 ?v_143 ?v_211) (or ?v_47 ?v_81 ?v_145 ?v_212) (or ?v_48 ?v_75 ?v_213 ?v_209) (or ?v_48 ?v_77 ?v_214 ?v_210) (or ?v_48 ?v_79 ?v_215 ?v_211) (or ?v_48 ?v_81 ?v_216 ?v_212) (or ?v_49 ?v_75 ?v_237 ?v_209) (or ?v_49 ?v_77 ?v_238 ?v_210) (or ?v_49 ?v_79 ?v_239 ?v_211) (or ?v_49 ?v_81 ?v_240 ?v_212) (or ?v_51 ?v_83 ?v_84 ?v_221) (or ?v_51 ?v_86 ?v_87 ?v_222) (or ?v_51 ?v_88 ?v_89 ?v_223) (or ?v_51 ?v_90 ?v_91 ?v_224) (or ?v_52 ?v_83 ?v_149 ?v_221) (or ?v_52 ?v_86 ?v_151 ?v_222) (or ?v_52 ?v_88 ?v_153 ?v_223) (or ?v_52 ?v_90 ?v_155 ?v_224) (or ?v_53 ?v_83 ?v_225 ?v_221) (or ?v_53 ?v_86 ?v_226 ?v_222) (or ?v_53 ?v_88 ?v_227 ?v_223) (or ?v_53 ?v_90 ?v_228 ?v_224) (or ?v_54 ?v_83 ?v_249 ?v_221) (or ?v_54 ?v_86 ?v_250 ?v_222) (or ?v_54 ?v_88 ?v_251 ?v_223) (or ?v_54 ?v_90 ?v_252 ?v_224) (or ?v_55 ?v_75 ?v_76 ?v_233) (or ?v_55 ?v_77 ?v_78 ?v_234) (or ?v_55 ?v_79 ?v_80 ?v_235) (or ?v_55 ?v_81 ?v_82 ?v_236) (or ?v_56 ?v_75 ?v_139 ?v_233) (or ?v_56 ?v_77 ?v_141 ?v_234) (or ?v_56 ?v_79 ?v_143 ?v_235) (or ?v_56 ?v_81 ?v_145 ?v_236) (or ?v_57 ?v_75 ?v_213 ?v_233) (or ?v_57 ?v_77 ?v_214 ?v_234) (or ?v_57 ?v_79 ?v_215 ?v_235) (or ?v_57 ?v_81 ?v_216 ?v_236) (or ?v_58 ?v_75 ?v_237 ?v_233) (or ?v_58 ?v_77 ?v_238 ?v_234) (or ?v_58 ?v_79 ?v_239 ?v_235) (or ?v_58 ?v_81 ?v_240 ?v_236) (or ?v_59 ?v_83 ?v_84 ?v_245) (or ?v_59 ?v_86 ?v_87 ?v_246) (or ?v_59 ?v_88 ?v_89 ?v_247) (or ?v_59 ?v_90 ?v_91 ?v_248) (or ?v_60 ?v_83 ?v_149 ?v_245) (or ?v_60 ?v_86 ?v_151 ?v_246) (or ?v_60 ?v_88 ?v_153 ?v_247) (or ?v_60 ?v_90 ?v_155 ?v_248) (or ?v_61 ?v_83 ?v_225 ?v_245) (or ?v_61 ?v_86 ?v_226 ?v_246) (or ?v_61 ?v_88 ?v_227 ?v_247) (or ?v_61 ?v_90 ?v_228 ?v_248) (or ?v_62 ?v_83 ?v_249 ?v_245) (or ?v_62 ?v_86 ?v_250 ?v_246) (or ?v_62 ?v_88 ?v_251 ?v_247) (or ?v_62 ?v_90 ?v_252 ?v_248) (or ?v_63 ?v_2 (< (- t_BAKE_STRUCTURE_p1_p2_k25 t_BAKE_STRUCTURE_p1_p2_k25) 3) ?v_255) (or ?v_63 ?v_1 ?v_491 ?v_256) (or ?v_64 ?v_2 ?v_493 ?v_255) (or ?v_64 ?v_1 (< (- t_BAKE_STRUCTURE_p1_p2_k15 t_BAKE_STRUCTURE_p1_p2_k15) 3) ?v_256) (or ?v_65 ?v_257 (< (- t_BAKE_CERAMIC3_p3_k22 t_BAKE_CERAMIC3_p3_k22) 5) ?v_273) (or ?v_65 ?v_259 ?v_310 ?v_274) (or ?v_65 ?v_261 ?v_338 ?v_275) (or ?v_65 ?v_263 ?v_366 ?v_276) (or ?v_65 ?v_265 ?v_296 ?v_277) (or ?v_65 ?v_267 ?v_324 ?v_278) (or ?v_65 ?v_269 ?v_352 ?v_279) (or ?v_65 ?v_271 ?v_380 ?v_280) (or ?v_66 ?v_257 ?v_284 ?v_273) (or ?v_66 ?v_259 (< (- t_BAKE_CERAMIC3_p3_k23 t_BAKE_CERAMIC3_p3_k23) 5) ?v_274) (or ?v_66 ?v_261 ?v_342 ?v_275) (or ?v_66 ?v_263 ?v_370 ?v_276) (or ?v_66 ?v_265 ?v_298 ?v_277) (or ?v_66 ?v_267 ?v_328 ?v_278) (or ?v_66 ?v_269 ?v_356 ?v_279) (or ?v_66 ?v_271 ?v_384 ?v_280) (or ?v_67 ?v_257 ?v_288 ?v_273) (or ?v_67 ?v_259 ?v_316 ?v_274) (or ?v_67 ?v_261 (< (- t_BAKE_CERAMIC3_p3_k24 t_BAKE_CERAMIC3_p3_k24) 5) ?v_275) (or ?v_67 ?v_263 ?v_374 ?v_276) (or ?v_67 ?v_265 ?v_302 ?v_277) (or ?v_67 ?v_267 ?v_330 ?v_278) (or ?v_67 ?v_269 ?v_360 ?v_279) (or ?v_67 ?v_271 ?v_388 ?v_280) (or ?v_68 ?v_257 ?v_292 ?v_273) (or ?v_68 ?v_259 ?v_320 ?v_274) (or ?v_68 ?v_261 ?v_348 ?v_275) (or ?v_68 ?v_263 (< (- t_BAKE_CERAMIC3_p3_k25 t_BAKE_CERAMIC3_p3_k25) 5) ?v_276) (or ?v_68 ?v_265 ?v_306 ?v_277) (or ?v_68 ?v_267 ?v_334 ?v_278) (or ?v_68 ?v_269 ?v_362 ?v_279) (or ?v_68 ?v_271 ?v_392 ?v_280) (or ?v_69 ?v_257 ?v_282 ?v_273) (or ?v_69 ?v_259 ?v_312 ?v_274) (or ?v_69 ?v_261 ?v_340 ?v_275) (or ?v_69 ?v_263 ?v_368 ?v_276) (or ?v_69 ?v_265 (< (- t_BAKE_CERAMIC3_p3_k12 t_BAKE_CERAMIC3_p3_k12) 5) ?v_277) (or ?v_69 ?v_267 ?v_326 ?v_278) (or ?v_69 ?v_269 ?v_354 ?v_279) (or ?v_69 ?v_271 ?v_382 ?v_280) (or ?v_70 ?v_257 ?v_286 ?v_273) (or ?v_70 ?v_259 ?v_314 ?v_274) (or ?v_70 ?v_261 ?v_344 ?v_275) (or ?v_70 ?v_263 ?v_372 ?v_276) (or ?v_70 ?v_265 ?v_300 ?v_277) (or ?v_70 ?v_267 (< (- t_BAKE_CERAMIC3_p3_k13 t_BAKE_CERAMIC3_p3_k13) 5) ?v_278) (or ?v_70 ?v_269 ?v_358 ?v_279) (or ?v_70 ?v_271 ?v_386 ?v_280) (or ?v_71 ?v_257 ?v_290 ?v_273) (or ?v_71 ?v_259 ?v_318 ?v_274) (or ?v_71 ?v_261 ?v_346 ?v_275) (or ?v_71 ?v_263 ?v_376 ?v_276) (or ?v_71 ?v_265 ?v_304 ?v_277) (or ?v_71 ?v_267 ?v_332 ?v_278) (or ?v_71 ?v_269 (< (- t_BAKE_CERAMIC3_p3_k14 t_BAKE_CERAMIC3_p3_k14) 5) ?v_279) (or ?v_71 ?v_271 ?v_390 ?v_280) (or ?v_72 ?v_257 ?v_294 ?v_273) (or ?v_72 ?v_259 ?v_322 ?v_274) (or ?v_72 ?v_261 ?v_350 ?v_275) (or ?v_72 ?v_263 ?v_378 ?v_276) (or ?v_72 ?v_265 ?v_308 ?v_277) (or ?v_72 ?v_267 ?v_336 ?v_278) (or ?v_72 ?v_269 ?v_364 ?v_279) (or ?v_72 ?v_271 (< (- t_BAKE_CERAMIC3_p3_k15 t_BAKE_CERAMIC3_p3_k15) 5) ?v_280) (or ?v_257 ?v_265 ?v_400 ?v_282) (or ?v_257 ?v_259 ?v_407 ?v_284) (or ?v_257 ?v_267 ?v_414 ?v_286) (or ?v_257 ?v_261 ?v_421 ?v_288) (or ?v_257 ?v_269 ?v_428 ?v_290) (or ?v_257 ?v_263 ?v_435 ?v_292) (or ?v_257 ?v_271 ?v_442 ?v_294) (or ?v_265 ?v_257 ?v_393 ?v_296) (or ?v_265 ?v_259 ?v_408 ?v_298) (or ?v_265 ?v_267 ?v_415 ?v_300) (or ?v_265 ?v_261 ?v_422 ?v_302) (or ?v_265 ?v_269 ?v_429 ?v_304) (or ?v_265 ?v_263 ?v_436 ?v_306) (or ?v_265 ?v_271 ?v_443 ?v_308) (or ?v_259 ?v_257 ?v_394 ?v_310) (or ?v_259 ?v_265 ?v_401 ?v_312) (or ?v_259 ?v_267 ?v_416 ?v_314) (or ?v_259 ?v_261 ?v_423 ?v_316) (or ?v_259 ?v_269 ?v_430 ?v_318) (or ?v_259 ?v_263 ?v_437 ?v_320) (or ?v_259 ?v_271 ?v_444 ?v_322) (or ?v_267 ?v_257 ?v_395 ?v_324) (or ?v_267 ?v_265 ?v_402 ?v_326) (or ?v_267 ?v_259 ?v_409 ?v_328) (or ?v_267 ?v_261 ?v_424 ?v_330) (or ?v_267 ?v_269 ?v_431 ?v_332) (or ?v_267 ?v_263 ?v_438 ?v_334) (or ?v_267 ?v_271 ?v_445 ?v_336) (or ?v_261 ?v_257 ?v_396 ?v_338) (or ?v_261 ?v_265 ?v_403 ?v_340) (or ?v_261 ?v_259 ?v_410 ?v_342) (or ?v_261 ?v_267 ?v_417 ?v_344) (or ?v_261 ?v_269 ?v_432 ?v_346) (or ?v_261 ?v_263 ?v_439 ?v_348) (or ?v_261 ?v_271 ?v_446 ?v_350) (or ?v_269 ?v_257 ?v_397 ?v_352) (or ?v_269 ?v_265 ?v_404 ?v_354) (or ?v_269 ?v_259 ?v_411 ?v_356) (or ?v_269 ?v_267 ?v_418 ?v_358) (or ?v_269 ?v_261 ?v_425 ?v_360) (or ?v_269 ?v_263 ?v_440 ?v_362) (or ?v_269 ?v_271 ?v_447 ?v_364) (or ?v_263 ?v_257 ?v_398 ?v_366) (or ?v_263 ?v_265 ?v_405 ?v_368) (or ?v_263 ?v_259 ?v_412 ?v_370) (or ?v_263 ?v_267 ?v_419 ?v_372) (or ?v_263 ?v_261 ?v_426 ?v_374) (or ?v_263 ?v_269 ?v_433 ?v_376) (or ?v_263 ?v_271 ?v_448 ?v_378) (or ?v_271 ?v_257 ?v_399 ?v_380) (or ?v_271 ?v_265 ?v_406 ?v_382) (or ?v_271 ?v_259 ?v_413 ?v_384) (or ?v_271 ?v_267 ?v_420 ?v_386) (or ?v_271 ?v_261 ?v_427 ?v_388) (or ?v_271 ?v_269 ?v_434 ?v_390) (or ?v_271 ?v_263 ?v_441 ?v_392) (or ?v_257 ?v_265 ?v_296 ?v_393) (or ?v_257 ?v_259 ?v_310 ?v_394) (or ?v_257 ?v_267 ?v_324 ?v_395) (or ?v_257 ?v_261 ?v_338 ?v_396) (or ?v_257 ?v_269 ?v_352 ?v_397) (or ?v_257 ?v_263 ?v_366 ?v_398) (or ?v_257 ?v_271 ?v_380 ?v_399) (or ?v_265 ?v_257 ?v_282 ?v_400) (or ?v_265 ?v_259 ?v_312 ?v_401) (or ?v_265 ?v_267 ?v_326 ?v_402) (or ?v_265 ?v_261 ?v_340 ?v_403) (or ?v_265 ?v_269 ?v_354 ?v_404) (or ?v_265 ?v_263 ?v_368 ?v_405) (or ?v_265 ?v_271 ?v_382 ?v_406) (or ?v_259 ?v_257 ?v_284 ?v_407) (or ?v_259 ?v_265 ?v_298 ?v_408) (or ?v_259 ?v_267 ?v_328 ?v_409) (or ?v_259 ?v_261 ?v_342 ?v_410) (or ?v_259 ?v_269 ?v_356 ?v_411) (or ?v_259 ?v_263 ?v_370 ?v_412) (or ?v_259 ?v_271 ?v_384 ?v_413) (or ?v_267 ?v_257 ?v_286 ?v_414) (or ?v_267 ?v_265 ?v_300 ?v_415) (or ?v_267 ?v_259 ?v_314 ?v_416) (or ?v_267 ?v_261 ?v_344 ?v_417) (or ?v_267 ?v_269 ?v_358 ?v_418) (or ?v_267 ?v_263 ?v_372 ?v_419) (or ?v_267 ?v_271 ?v_386 ?v_420) (or ?v_261 ?v_257 ?v_288 ?v_421) (or ?v_261 ?v_265 ?v_302 ?v_422) (or ?v_261 ?v_259 ?v_316 ?v_423) (or ?v_261 ?v_267 ?v_330 ?v_424) (or ?v_261 ?v_269 ?v_360 ?v_425) (or ?v_261 ?v_263 ?v_374 ?v_426) (or ?v_261 ?v_271 ?v_388 ?v_427) (or ?v_269 ?v_257 ?v_290 ?v_428) (or ?v_269 ?v_265 ?v_304 ?v_429) (or ?v_269 ?v_259 ?v_318 ?v_430) (or ?v_269 ?v_267 ?v_332 ?v_431) (or ?v_269 ?v_261 ?v_346 ?v_432) (or ?v_269 ?v_263 ?v_376 ?v_433) (or ?v_269 ?v_271 ?v_390 ?v_434) (or ?v_263 ?v_257 ?v_292 ?v_435) (or ?v_263 ?v_265 ?v_306 ?v_436) (or ?v_263 ?v_259 ?v_320 ?v_437) (or ?v_263 ?v_267 ?v_334 ?v_438) (or ?v_263 ?v_261 ?v_348 ?v_439) (or ?v_263 ?v_269 ?v_362 ?v_440) (or ?v_263 ?v_271 ?v_392 ?v_441) (or ?v_271 ?v_257 ?v_294 ?v_442) (or ?v_271 ?v_265 ?v_308 ?v_443) (or ?v_271 ?v_259 ?v_322 ?v_444) (or ?v_271 ?v_267 ?v_336 ?v_445) (or ?v_271 ?v_261 ?v_350 ?v_446) (or ?v_271 ?v_269 ?v_364 ?v_447) (or ?v_271 ?v_263 ?v_378 ?v_448) (or ?v_103 ?v_106 ?v_449 ?v_450) (or ?v_103 ?v_105 ?v_451 ?v_452) (or ?v_103 ?v_108 ?v_453 ?v_454) (or ?v_106 ?v_103 ?v_455 ?v_456) (or ?v_106 ?v_105 ?v_457 ?v_458) (or ?v_106 ?v_108 ?v_459 ?v_460) (or ?v_105 ?v_103 ?v_473 ?v_462) (or ?v_105 ?v_106 ?v_475 ?v_464) (or ?v_105 ?v_108 ?v_478 ?v_466) (or ?v_108 ?v_103 ?v_474 ?v_468) (or ?v_108 ?v_106 ?v_476 ?v_470) (or ?v_108 ?v_105 ?v_477 ?v_472) (or ?v_103 ?v_106 ?v_456 ?v_455) (or ?v_103 ?v_105 ?v_462 ?v_473) (or ?v_103 ?v_108 ?v_468 ?v_474) (or ?v_106 ?v_103 ?v_450 ?v_449) (or ?v_106 ?v_105 ?v_464 ?v_475) (or ?v_106 ?v_108 ?v_470 ?v_476) (or ?v_105 ?v_103 ?v_452 ?v_451) (or ?v_105 ?v_106 ?v_458 ?v_457) (or ?v_105 ?v_108 ?v_472 ?v_477) (or ?v_108 ?v_103 ?v_454 ?v_453) (or ?v_108 ?v_106 ?v_460 ?v_459) (or ?v_108 ?v_105 ?v_466 ?v_478) (or ?v_75 ?v_77 ?v_78 (< ?v_479 8)) (or ?v_75 ?v_79 ?v_80 (< ?v_480 8)) (or ?v_75 ?v_81 ?v_82 (< ?v_481 8)) (or ?v_77 ?v_75 ?v_139 (< ?v_482 8)) (or ?v_77 ?v_79 ?v_143 (< ?v_483 8)) (or ?v_77 ?v_81 ?v_145 (< ?v_484 8)) (or ?v_79 ?v_75 ?v_213 (< ?v_485 8)) (or ?v_79 ?v_77 ?v_214 (< ?v_486 8)) (or ?v_79 ?v_81 ?v_216 (< ?v_487 8)) (or ?v_81 ?v_75 ?v_237 (< ?v_488 8)) (or ?v_81 ?v_77 ?v_238 (< ?v_489 8)) (or ?v_81 ?v_79 ?v_239 (< ?v_490 8)) (or ?v_2 ?v_1 ?v_491 (> ?v_492 3)) (or ?v_1 ?v_2 ?v_493 (> ?v_494 3)) (or ?v_93 ?v_96 ?v_116 ?v_495) (or ?v_93 ?v_95 ?v_115 ?v_496) (or ?v_93 ?v_98 ?v_118 ?v_497) (or ?v_96 ?v_93 ?v_119 ?v_498) (or ?v_96 ?v_95 ?v_121 ?v_499) (or ?v_96 ?v_98 ?v_125 ?v_500) (or ?v_95 ?v_93 ?v_513 ?v_502) (or ?v_95 ?v_96 ?v_515 ?v_504) (or ?v_95 ?v_98 ?v_518 ?v_506) (or ?v_98 ?v_93 ?v_514 ?v_508) (or ?v_98 ?v_96 ?v_516 ?v_510) (or ?v_98 ?v_95 ?v_517 ?v_512) (or ?v_93 ?v_96 ?v_498 ?v_119) (or ?v_93 ?v_95 ?v_502 ?v_513) (or ?v_93 ?v_98 ?v_508 ?v_514) (or ?v_96 ?v_93 ?v_495 ?v_116) (or ?v_96 ?v_95 ?v_504 ?v_515) (or ?v_96 ?v_98 ?v_510 ?v_516) (or ?v_95 ?v_93 ?v_496 ?v_115) (or ?v_95 ?v_96 ?v_499 ?v_121) (or ?v_95 ?v_98 ?v_512 ?v_517) (or ?v_98 ?v_93 ?v_497 ?v_118) (or ?v_98 ?v_96 ?v_500 ?v_125) (or ?v_98 ?v_95 ?v_506 ?v_518) (or ?v_83 ?v_86 ?v_87 (< ?v_519 20)) (or ?v_83 ?v_88 ?v_89 (< ?v_520 20)) (or ?v_83 ?v_90 ?v_91 (< ?v_521 20)) (or ?v_86 ?v_83 ?v_149 (< ?v_522 20)) (or ?v_86 ?v_88 ?v_153 (< ?v_523 20)) (or ?v_86 ?v_90 ?v_155 (< ?v_524 20)) (or ?v_88 ?v_83 ?v_225 (< ?v_525 20)) (or ?v_88 ?v_86 ?v_226 (< ?v_526 20)) (or ?v_88 ?v_90 ?v_228 (< ?v_527 20)) (or ?v_90 ?v_83 ?v_249 (< ?v_528 20)) (or ?v_90 ?v_86 ?v_250 (< ?v_529 20)) (or ?v_90 ?v_88 ?v_251 (< ?v_530 20)) (>= t_Goal t_Init) (or ?v_83 (>= t_FIRE_KILN2_k21 t_Init)) (or ?v_83 (>= (- t_Goal t_FIRE_KILN2_k21) 20)) (or ?v_75 (>= t_FIRE_KILN1_k11 t_Init)) (or ?v_75 (>= (- t_Goal t_FIRE_KILN1_k11) 8)) (or ?v_265 (>= t_BAKE_CERAMIC3_p3_k12 t_Init)) (or ?v_265 ?v_531) (or ?v_257 (>= t_BAKE_CERAMIC3_p3_k22 t_Init)) (or ?v_257 ?v_532) (or ?v_96 (>= t_BAKE_CERAMIC2_p2_k12 t_Init)) (or ?v_96 (>= (- t_Goal t_BAKE_CERAMIC2_p2_k12) 10)) (or ?v_93 (>= t_BAKE_CERAMIC2_p2_k22 t_Init)) (or ?v_93 (>= (- t_Goal t_BAKE_CERAMIC2_p2_k22) 10)) (or ?v_106 (>= t_BAKE_CERAMIC1_p1_k12 t_Init)) (or ?v_106 (>= (- t_Goal t_BAKE_CERAMIC1_p1_k12) 15)) (or ?v_103 (>= t_BAKE_CERAMIC1_p1_k22 t_Init)) (or ?v_103 (>= (- t_Goal t_BAKE_CERAMIC1_p1_k22) 15)) (or ?v_86 (>= t_FIRE_KILN2_k22 t_Init)) (or ?v_86 (>= (- t_Goal t_FIRE_KILN2_k22) 20)) (or ?v_77 (>= t_FIRE_KILN1_k12 t_Init)) (or ?v_77 (>= (- t_Goal t_FIRE_KILN1_k12) 8)) (or ?v_533 (>= t_TREAT_CERAMIC2_p23 t_Init)) (or ?v_533 (>= (- t_Goal t_TREAT_CERAMIC2_p23) 2)) (or ?v_534 (>= t_TREAT_CERAMIC1_p13 t_Init)) (or ?v_534 (>= (- t_Goal t_TREAT_CERAMIC1_p13) 3)) (or ?v_535 (>= t_TREAT_CERAMIC1_p23 t_Init)) (or ?v_535 (>= (- t_Goal t_TREAT_CERAMIC1_p23) 3)) (or ?v_267 (>= t_BAKE_CERAMIC3_p3_k13 t_Init)) (or ?v_267 ?v_536) (or ?v_259 (>= t_BAKE_CERAMIC3_p3_k23 t_Init)) (or ?v_259 ?v_537) (or ?v_98 (>= t_BAKE_CERAMIC2_p2_k13 t_Init)) (or ?v_98 (>= (- t_Goal t_BAKE_CERAMIC2_p2_k13) 10)) (or ?v_95 (>= t_BAKE_CERAMIC2_p2_k23 t_Init)) (or ?v_95 (>= (- t_Goal t_BAKE_CERAMIC2_p2_k23) 10)) (or ?v_108 (>= t_BAKE_CERAMIC1_p1_k13 t_Init)) (or ?v_108 (>= (- t_Goal t_BAKE_CERAMIC1_p1_k13) 15)) (or ?v_105 (>= t_BAKE_CERAMIC1_p1_k23 t_Init)) (or ?v_105 (>= (- t_Goal t_BAKE_CERAMIC1_p1_k23) 15)) (or ?v_88 (>= t_FIRE_KILN2_k23 t_Init)) (or ?v_88 (>= (- t_Goal t_FIRE_KILN2_k23) 20)) (or ?v_79 (>= t_FIRE_KILN1_k13 t_Init)) (or ?v_79 (>= (- t_Goal t_FIRE_KILN1_k13) 8)) (or ?v_0 (>= t_MAKE_STRUCTURE_p1_p24 t_Init)) (or ?v_0 (>= (- t_Goal t_MAKE_STRUCTURE_p1_p24) 1)) (or ?v_269 (>= t_BAKE_CERAMIC3_p3_k14 t_Init)) (or ?v_269 ?v_538) (or ?v_261 (>= t_BAKE_CERAMIC3_p3_k24 t_Init)) (or ?v_261 ?v_539) (or ?v_90 (>= t_FIRE_KILN2_k24 t_Init)) (or ?v_90 (>= (- t_Goal t_FIRE_KILN2_k24) 20)) (or ?v_81 (>= t_FIRE_KILN1_k14 t_Init)) (or ?v_81 (>= (- t_Goal t_FIRE_KILN1_k14) 8)) (or ?v_1 (>= t_BAKE_STRUCTURE_p1_p2_k15 t_Init)) (or ?v_1 ?v_540) (or ?v_2 (>= t_BAKE_STRUCTURE_p1_p2_k25 t_Init)) (or ?v_2 ?v_541) (or ?v_271 (>= t_BAKE_CERAMIC3_p3_k15 t_Init)) (or ?v_271 ?v_542) (or ?v_263 (>= t_BAKE_CERAMIC3_p3_k25 t_Init)) (or ?v_263 ?v_543))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
(check-sat)
(set-option :regular-output-channel "/dev/null")
(get-model)
(exit)
